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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.