Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads Export

@inproceedings{citeulike:140059, abstract = {A methodology is described whereby a linear ADT may be rigorously encapsulated within a state monad. A CPS-like translation from the original ADT axioms into monadic ones is also described and proven correct, so that reasoning can be accomplished at the monadic level without exposing the state. The ADT axioms are suitably constrained by a linear type system to make this translation possible. This constraint also allows the state to be \"updated in place,\" a notion made precise via a...}, address = {Paris, France}, author = {Chen, Chih-Ping and Hudak, Paul}, booktitle = {Conference Record of POPL\~{}'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, citeulike-article-id = {140059}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/chen97rolling.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/chen97rolling.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/chen97rolling.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/chen97rolling.html}, keywords = {linear-types, monads}, month = {JanuaryMay--JanuaryJuly}, pages = {54--66}, posted-at = {2008-01-12 21:09:59}, priority = {2}, title = {Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads}, url = {http://citeseer.ist.psu.edu/chen97rolling.html}, year = {1997} }

TY - CONF ID - citeulike:140059 L3 - citeulike-article-id:140059 N2 - A methodology is described whereby a linear ADT may be rigorously encapsulated within a state monad. A CPS-like translation from the original ADT axioms into monadic ones is also described and proven correct, so that reasoning can be accomplished at the monadic level without exposing the state. The ADT axioms are suitably constrained by a linear type system to make this translation possible. This constraint also allows the state to be "updated in place," a notion made precise via a... AD - Paris, France EP - 66 TI - Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads T2 - Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages SP - 54 KW - linear-types KW - monads AU - Chen, Chih-Ping AU - Hudak, Paul PY - 1997/15--17// UR - http://citeseer.ist.psu.edu/chen97rolling.html ER -