Monadic regions Export

@article{citeulike:313796, abstract = {Region-based type systems provide programmer control over memory management without sacrificing type-safety. However, the type systems for region-based languages, such as the ML-Kit or Cyclone, are relatively complicated, so proving their soundness is nontrivial. This paper shows that the complication is in principle unnecessary. In particular, we show that plain old parametric polymorphism, as found in Haskell, is all that is needed. We substantiate this claim by giving a type- and meaning-preserving translation from a region-based language based on core Cyclone to a monadic variant of System F with region primitives whose types and operations are inspired by (and generalize) the ST monad.}, address = {New York, NY, USA}, author = {Fluet, Matthew and Morrisett, Greg}, booktitle = {ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming}, citeulike-article-id = {313796}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1016867}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1016850.1016867}, citeulike-linkout-2 = {http://www.cs.cornell.edu/Info/People/jgm/lang-based-security/monadic-regions.pdf}, doi = {10.1145/1016850.1016867}, issn = {0362-1340}, journal = {SIGPLAN Not.}, month = {September}, number = {9}, pages = {103--114}, posted-at = {2006-03-20 22:42:09}, priority = {0}, publisher = {ACM}, title = {Monadic regions}, url = {http://dx.doi.org/10.1145/1016850.1016867}, volume = {39}, year = {2004} }

TY - JOUR ID - citeulike:313796 L3 - citeulike-article-id:313796 N2 - Region-based type systems provide programmer control over memory management without sacrificing type-safety. However, the type systems for region-based languages, such as the ML-Kit or Cyclone, are relatively complicated, so proving their soundness is nontrivial. This paper shows that the complication is in principle unnecessary. In particular, we show that plain old parametric polymorphism, as found in Haskell, is all that is needed. We substantiate this claim by giving a type- and meaning-preserving translation from a region-based language based on core Cyclone to a monadic variant of System F with region primitives whose types and operations are inspired by (and generalize) the ST monad. IS - 9 JF - SIGPLAN Not. SN - 0362-1340 AD - New York, NY, USA EP - 114 TI - Monadic regions PB - ACM VL - 39 T2 - ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming SP - 103 AU - Fluet, Matthew AU - Morrisett, Greg PY - 2004/09// UR - http://dx.doi.org/10.1145/1016850.1016867 ER -