Lightweight Linearly-typed Programming with Lenses and Monads
Imai, Keigo, Garrigue, JacquesVolume:
27
Year:
2019
Journal:
Journal of Information Processing
DOI:
10.2197/ipsjjip.27.431
File:
PDF, 479 KB
2019