Keigo Imai, Jacques Garrigue. Lightweight Linearly-typed Programming with Lenses and Monads. JIP, 27:431-444, 2019. [doi]
@article{ImaiG19, title = {Lightweight Linearly-typed Programming with Lenses and Monads}, author = {Keigo Imai and Jacques Garrigue}, year = {2019}, doi = {10.2197/ipsjjip.27.431}, url = {https://doi.org/10.2197/ipsjjip.27.431}, researchr = {https://researchr.org/publication/ImaiG19}, cites = {0}, citedby = {0}, journal = {JIP}, volume = {27}, pages = {431-444}, }