Lightweight monadic regions

Haskell'08 - Proceedings of the ACM SIGPLAN 2008 Haskell Symposium

Volumn , Issue , 2008, Pages 1-12

  Kiselyov, Oleg ^a   Shan, Chung Chieh ^b  

^a ENMOC ^*

^b RUTGERS UNIVERSITY   (United States)

Author keywords

Effect systems; Monads; Parametric polymorphism; Regions; Resource management; Subtyping; Type classes; Type systems

Indexed keywords

EFFECT SYSTEMS; MONADS; PARAMETRIC POLYMORPHISM; REGIONS; RESOURCE MANAGEMENT; SUBTYPING; TYPE CLASSES; TYPE SYSTEMS;

EMBEDDED SYSTEMS; KNOWLEDGE MANAGEMENT; LIBRARIES; NATURAL RESOURCES MANAGEMENT; RESOURCE ALLOCATION;

POLYMORPHISM;

EID: 63149102574     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411286.1411288     Document Type: Conference Paper

References (19)

1. Atkey, Robert. 2006. Parameterised notions of computation. In MSFP 2006: Workshop on mathematically structured functional programming, ed. Conor McBride and Tarmo Uustalu. Electronic Workshops in Computing, British Computer Society.
2. Filinski, Andrzej. 1999. Representing layered monads. In POPL '99: Conference record of the annual ACM symposium on principles of programming languages, 175-188. New York: ACM Press.
3. Fluet, Matthew, Greg Morrisett, and Amal J. Ahmed. 2006. Linear regions are all you need. In ESOP, 7-21.
4. Fluet, Matthew, and J. Gregory Morrisett. 2004. Monadic regions. In ICFP '04: Proceedings of the ACM international conference on functional programming. New York: ACM Press.
5. Grossman, Dan, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In PLDI, 282-293.
6. Igarashi, Atsushi, and Naoki Kobayashi. 2002. Resource usage analysis. In POPL, 331-342. New York: ACM Press.
7. Kiselyov, Oleg. 2004. Heavy-weight implementation of region calculus. http://okmij.org/ftp/Haskell/ regions.html#heavy-weight.
8. -. 2007. Type improvement constraint, local functional dependencies, and a type-level typecase. http://okmij. org/ftp/Haskell/typecast.html.
9. Kiselyov, Oleg, Ralf Lämmel, and Keean Schupke. 2004. Strongly typed heterogeneous collections. In Proc. ACM SIGPLAN workshop on Haskell, 96-107.
10. Kiselyov, Oleg, and Chung-chieh Shan. 2007. Lightweight static resources: Sexy types for embedded and systems programming. In Draft proceedings of TFP 2007: 6th symposium on trends in functional programming, ed. Marco T. Morazán and Henrik Nilsson. Tech. Rep. TR-SHU-CS-2007-04-1, Department of Mathematics and Computer Science, Seton Hall University.
11. Launchbury, John, and Simon L. Peyton Jones. 1995. State in Haskell. Lisp and Symbolic Computation 8(4):293-341.
12. Launchbury, John, and Amr Sabry. 1997. Monadic State: Axiomatization and Type Safety. In ICFP, 227-238.
13. Miller, Dale, and Alwen Tiu. 2005. A proof theory for generic judgments. ACM Trans. Comput. Log. 6(4):749-783.
14. Moggi, Eugenio, and Amr Sabry. 2001. Monadic encapsulation of effects: A revised approach (extended version). Journal of Functional Programming 11(6):591-627.
15. Pitts, Andrew M. 2003. Nominal logic, a first order theory of names and binding. Inf. Comput. 186(2):165-193.
16. Strom, Robert E., and Daniel M. Yellin. 1993. Extending typestate checking using conditional liveness analysis. IEEE Transactions on Software Engineering 19(5):478-485.
17. Tofte, Mads, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. 2006. Programming with regions in the MLKit (revised for version 4.3.0). Tech. Rep., IT University of Copenhagen, Denmark.
18. Tofte, Mads, and Jean-Pierre Talpin. 1997. Region-based memory management. Inf. Comput. 132(2): 109-176.
19. Walker, David, Karl Crary, and J. Gregory Morrisett. 2000. Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4):701-771.