Monadic regions

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2004, Pages 103-114

  Fluet, Matthew ^a   Morrisett, Greg ^b  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^b HARVARD UNIVERSITY   (United States)

Author keywords

Effect; Monad; Parametric polymorphism; Region; Region based memory management; Type system

Indexed keywords

APPROXIMATION THEORY; COMPUTATION THEORY; DATA REDUCTION; ENCODING (SYMBOLS); PROGRAM COMPILERS; SEMANTICS;

MONAD; PARAMETRIC POLYMORPHISM; REGION-BASED MEMORY MANAGEMENT; TYPE SYSTEM;

COMPUTER PROGRAMMING LANGUAGES;

EID: 9744224877     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1016850.1016867     Document Type: Conference Paper

References (30)

1. Z. Ariola and A. Sabry. Correctness of monadic state: An imperative call-by-need calculus. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), pages 62-74. ACM Press, 1998.
2. A. Banerjee, N. Heintze, and J. Riecke. Region analysis and the polymorphic lambda calculus. In Proceedings of the 14th IEEE Symposium on Logic in Computer Science (LCS'99), pages 88-97. IEEE Computer Society Press, 1999.
3. C. Calcagno. Stratified operational semantics for safety and correctness of the region calculus. In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'01), pages 155-165. ACM Press, 2001.
4. C. Calcagno, S. Helsen, and P. Thiemann. Syntactic type soundness results for the region calculus. Information and Computation, 173(2):199-332, Mar. 2002.
5. K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'99), pages 262-275. ACM Press, 1999.
6. M. Fluet. Monadic regions: Formal type soundness and correctness. Technical Report TR2004-1936, Department of Computer Science, Cornell University, Apr. 2004.
7. J.-Y. Girard, P. Taylor, and Y. Lafont. Proofs and Types. Cambridge University Press, 1989.
8. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02), pages 282-293. ACM Press, 2002.
9. D. Grossman, G. Morrisett, Y. Wang, T. Jim, M. Hicks, and J. Cheney. Formal type soundness for Cyclone's region system. Technical Report 2001-1856, Department of Computer Science, Cornell University, Nov. 2001.
10. S. Helsen and P. Thiemann. Syntactic type soundness for the region calculus. In Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics (HOOTS'00), volume 41 of Electronic Notes in Theoretical Computer Science, pages 1-19. Elsevier Science Publishers, Sept. 2000.
11. F. Henglein, H. Makholm, and H. Niss. Effect types and region-based memory management. In B. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 5. MIT Press, 2004. In preparation.
12. R. Kieburtz. Taming effects with monadic typing. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 51-62. ACM Press, 1998.
13. O. Kiselyov, R. Lämmel, and K. Schupke. Strongly typed heterogeneous collections, 5 June 2004. Submitted to the Haskell Workshop 2004.
14. J. Launchbury and S. Peyton Jones. Lazy functional state threads. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'94), pages 24-35. ACM Press, 1994.
15. J. Launchbury and S. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4):293-341, 1995.
16. J. Launchbury and A. Sabry. Monadic state: Axiomatization and type safety. In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97), pages 227-237. ACM Press, 1997.
17. E. Moggi. Computational lambda calculus and monads. In Proceedings of the 4th IEEE Symposium on Logic in Computer Science (LCS'89), pages 14-23, 1989.
18. E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, Jan. 1991.
19. E. Moggi and A. Sabry. Monadic encapsulation of effects: a revised approach (extended version). Journal of Functional Programming, 11(6):591-627, Nov. 2001.
20. J. Reynolds. Towards a theory of type structure. In Programming Symposium, volume 19 of Lecture Notes in Computer Science, pages 408-425. Springer-Verlag, Apr. 1974.
21. J. Riecke and R. Viswanathan. Isolating side effects in sequential languages. In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'95), pages 1-12. ACM Press, 1995.
22. A. Sabry and P. Wadler. A reflection on call-by-value. ACM Transactions on Programming Languages and Systems, 19(6):916-941, Nov. 1997.
23. M. Semmelroth and A. Sabry. Monadic encapsulation in ML. In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming (ICFP'99), pages 8-17. ACM Press, 1999.
24. G. Smith and D. Volpano. A sound polymorphic type system for a dialect of C. Science of Computer Programming, 32(1-3):49-72, 1998.
25. M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T. H. Olesen, and P. Sestoft. Programming with regions in the ML Kit (for version 4). Technical report, IT University of Copenhagen, Apr. 2002.
26. M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value λ-calculus using a stack of regions. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'94), pages 188-201. ACM Press, 1994.
27. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, Feb. 1997.
28. D. Volpano and G. Smith. Eliminating covert flows with minimum typings. In Proceedings of the 10th IEEE Computer Security Foundations Workshop (CFSW'97), pages 156-168. IEEE Computer Society Press, 1997.
29. P. Wadler. The marriage of effects and monads. In Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 63-74. ACM Press, 1995.
30. P. Wadler and P. Thiemann. The marriage of effects and monads. Transactions on Computational Logic, 4(1):1-32, 2003.