Programming monads operationally with Unimo

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

Volumn 2006, Issue , 2006, Pages 274-285

  Lin, Chuan Kai ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

Haskell; Monad transformers; Monads; Unimo

Indexed keywords

HASKELL; MONAD TRANSFORMERS; MONADS; UNIMO;

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34247277711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159840     Document Type: Conference Paper

References (20)

1. Koen Claessen. Functional Pearl: Parallel parsing processes. Journal of Functional Programming, 14(6):741-757, November 2004.
2. William Harrison and James Hook. Achieving information flow security through precise control of effects. In 18th IEEE Computer Security Foundations Workshop, pages 16-30, Los Alamitos, CA, USA, June 2005. IEEE Computer Society.
3. Ralf Hinze. Deriving backtracking monad transformers. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pages 186-197, New York, NY, USA, September 2000. ACM Press.
4. John Hughes. The design of a pretty-printing library. In Johan Jeuring and Eric Meijer, editors, Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, volume 925 of LNCS, pages 53-96. Springer, May 1995.
5. John Hughes. Generalizing monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
6. Simon Peyton Jones. Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In CAR Hoare, Manfred Broy, and Ralf Steinbruggen, editors, Engineering Theories of Software Construction, volume 180 of NATO Science Series: Computer & Systems Sciences, pages 47-96. IDS Press, 2001.
7. Simon Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge, UK, May 2003.
8. Simon Peyton Jones and Mark Shields. Lexically scoped type variables. Submitted to ICFP 2004, March 2004.
9. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields. Practical type inference for arbitrary-rank types. Unpublished manuscript, July 2005.
10. Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalized algebraic data types. Technical Report MS-C1S-05-26, University of Pennsylvania, July 2004.
11. Guy L. Steele Jr. and Richard P. Gabriel. The evolution of Lisp. ACM SIGPLAN Notices, 28(3):231-270, March 1993.
12. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In ECOOP 2001 - Object-Oriented Programming: 15th European Conference, volume 2072 of LNCS, pages 327-353. Springer-Verlag, June 2001.
13. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming, volume 1241 of LNCS, pages 220-242. Springer-Verlag, June 1997.
14. Sheng Liang, Paul Hudak, and Mark P. Jones. Monad transformers and modular interpreters. In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 333-343, New York, NY, USA, January 1995. ACM Press.
15. Wolfgang De Meuter. Monads as a theoretical foundation for AOP. Position paper in ECOOP'97 Workshop on Aspect-Oriented Programming, June 1997.
16. Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14-23, Piscataway, NJ, USA, June 1989. IEEE Press.
17. Eugenio Moggi. Notions of computation and monads. Information And Computation, 93(1):55-92, July 1991.
18. Peter D. Mosses. Denotational semantics. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 11, pages 575-631. MIT Press, December 1990.
19. Martin Reiser and Niklaus Wirth. Programming in Oberon: Steps Beyond Pascal and Modula. Addison Wesley, Reading, MA, USA, June 1992.
20. Niklaus Wirth. Project Oberon: The Design of an Operating System and Compiler. Addison-Wesley, Reading, MA, USA, November 1992.