Monads for incremental computing - Functional pearl

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

Volumn , Issue , 2002, Pages 26-35

  Carlsson, Magnus ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

Algorithms; Design; Languages

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; SPREADSHEETS; USER INTERFACES;

INCREMENTAL COMPUTING; MONADS;

COMPUTER PROGRAMMING;

EID: 0036948882     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. U. Acar, G. Blelloch, and R. Harper. Adaptive functional programming. In Principles of Programming Languages (POPL02), Portland, Oregon, January 2002. ACM.
2. L. Augustsson. Cayenne - a language with dependent types. In Proc. of the International Conference on Functional Programming (ICFP'98). ACM Press, September 1998.
3. M. Carlsson. Adaptive - Incremental computations in Haskell. www.cse.ogi.edu/~magnus/Adaptive/, 2002.
4. P. F. Dietz and D. D. Sleator. Two algorithms for maintaining order in a list. In Proceedings. 19th ACM Symposium. Theory of Computing, 1987.
5. The Glasgow Haskell compiler. www.haskell.org/ghc/.
6. The Hugs 98 interpreter. www.haskell.org/hugs/.
7. M. P. Jones. Type Classes with Functional Dependencies. In Proceedings of the 9th European Symposium on Programming, ESOP 2000, umber 1782 in LNCS, Berlin, Germany, March 2000. Springer-Verlag.
8. S. P. Jones, M. P. Jones, and E. Meijer. Type classes: exploring the design space. In Haskell Workshop, 1997.
9. J. Launchbury and S. Peyton Jones. Lazy functional state threads. In ACM Programming Languages Design and Implementation, Orlando, 1994.
10. S. Liang, P. Hudak, and M. P. Jones. Monad transformers and modular interpreters. In Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 333-343, San Francisco, California, Jan. 1995.
11. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
12. S. Peyton Jones et al. The Haskell 98 libraries. haskell.org/onlinelibrary/, 1999.
13. S. Peyton Jones et al. Report on the programming language Haskell 98, a non-strict, purely functional language. Available fromhttp://haskell.org, February 1999.
14. T. Sheard. Generic unification via two-level types and parameterized modules. In International Conference on Functional Programming, Florence, Italy, 2001. ACM.
15. M. Shields and S. P. Jones. First class modules for Haskell. In 9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon, pages 28-40, Jan. 2002.
16. P. Wadler. The essence of functional programming. In Proceedings 1992 Symposium on Principles of Programming Languages, pages 1-14, Albuquerque, New Mexico, 1992.