"Lightweight Linearly-typed Programming with Lenses and Monads."

Keigo Imai, Jacques Garrigue (2019)

Details and statistics

DOI: 10.2197/IPSJJIP.27.431

access: open

type: Journal Article

metadata version: 2021-02-16