Lightweight Linearly-typed Programming with Lenses and Monads

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},
}