@article{weko_195819_1, author = "Keigo,Imai and Jacques,Garrigue", title = "Lightweight Linearly-typed Programming with Lenses and Monads", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2019", volume = "12", number = "2", month = "may" }