Art

J-GLOBAL ID：202002240159543770   Reference number：20A0553744

Lightweight Linearly-typed Programming with Lenses and Monads

レンズとモナドを用いた軽量線形型プログラミング

Author (2)： Imai Keigo (Faculty of Engineering, Gifu University) ,  Garrigue Jacques (Graduate School of Mathematics, Nagoya University)
Material： Journal of Information Processing (Web)  (J Inf Proc (Web))
Volume： 27  Page： 431-444(J-STAGE)  Publication year： 2019 
JST Material Number： U0109A  ISSN： 1882-6652  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： lens(optics) ,  *computer program ,  computer programming ,  linear programming ,  *programming language ,  coding(signal) ,  *protocol ,  linearity ,  grammar ,  pattern matching
Semi thesaurus term： programming ,  *monad ,  *OCaml ,  sentence structure ,  linear programming ,  *communication protocol

Author keywords (5)： OCaml ,  linear types ,  functional programming ,  monad ,  lens

JST classification (1)： System programmings in general  (JD03010Y)

Reference (29)：

• [1] Atkey, R.: Parameterized Notions of Computation, Journal of Functional Programming, Vol.19, No.3-4, pp.335-376 (online), DOI: 10.1017/S095679680900728X (2009).
• [2] Ben-Ari, M.: How to solve the Santa Claus problem, Concurrency: Practice & Experience, Vol.10, No.6, pp.485-496 (online), DOI: 10.1002/(SICI)1096-9128(199805)10:6<485::AID-CPE329>3.0.CO;2-2 (1998).
• [3] Benton, P.N.: A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models, Computer Science Logic, 8th International Workshop, LNCS, Vol.933, pp.121-135, Springer (online), DOI: 10.1007/BFb0022251 (1994).
• [4] Bernardy, J.-P., Boespflug, M., Newton, R.R., Jones, S.P. and Spiwack, A.: Linear Haskell: Practical linearity in a higher-order polymorphic language, PACMPL, Vol.2, No.POPL, pp.5:1-5:29 (online), DOI: 10.1145/3158093 (2018).
• [5] Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C. and Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem, ACM Trans. Program. Lang. Syst., Vol.29, No.3, p.17 (online), DOI: 10.1145/1232420.1232424 (2007).

Terms in the title (5)： レンズ ,  モナド ,  軽量 ,  線形 ,  プログラミング