Generalizing monads to arrows

Science of Computer Programming

Volumn 37, Issue 1, 2000, Pages 67-111

  Hughes, John ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; GRAPHICAL USER INTERFACES;

MONADIC PROGRAMMING;

SUBROUTINES;

EID: 0033751744     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(99)00023-4     Document Type: Article

References (16)

1. P. Bjesse, K. Claessen, M. Sheeran, S. Singh, Lava: hardware design in haskell, in: Internat. Conf. on Functional Programming, Baltimore, ACM, New York, 1998.
2. Barr M., Wells C. Category Theory for Computing Science. 1990;Prentice-Hall, Englewood Cliffs, NJ.
3. M. Carlsson, T. Hallgren, FUDGETS - a graphical user interface in a lazy functional language, in: FPCA '93 - Conf. on Functional Programming Languages and Computer Architecture, ACM Press, New York, June 1993, pp. 321-330.
4. Elliott C., Hudak P. Functional reactive animation. Internat. Conf. on Functional Programming. 1997;ACM SIGPLAN, New York.
5. P. Hudak et al., Report on the Programming Language Haskell: A Non-Strict, Purely Functional Language, March 1992. Version 1.2. Also in Sigplan Notices, May 1992.
6. P. Hudak et al., Report on the Programming Language Haskell: A Non-Strict, Purely Functional Language, March 1992. Version 1.2. Also in Sigplan Notices, May 1992.
7. D. King, P. Wadler, Combining monads, in: Glasgow Workshop on Functional Programming, Ayr, Springer, Berlin, July 1992.
8. S. Liang, P. Hudak, M. Jones, Monad transformers and modular interpreters, in: Conf. Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Sympos. on Principles of Programming Languages, San Francisco, CA, January 1995, pp. 333-343.
9. MacLane S. Categories for the Working Mathematician. 1971;Springer, Berlin.
10. J. Peterson, K. Hammond, The Haskell 1.3 Report, Technical Report YALEU / DCS / RR-1106, Yale University, New Howen, CI, 1996.
11. Pierce B.C. Basic Category Theory for Computer Scientists. 1991;The MIT Press, Cambridge, MA.
12. S.D. Swierstra, L. Duponcheel, Deterministic, error-correcting combinator parsers, in: J. Launchbury, E. Meijer, T. Sheard (Eds.), Advanced Functional Programming, Lecture Notes in Computer Science - Tutorial, Vol. 1129, Springer, Berlin, 1996, pp. 184-207.
13. P. Wadler, How to replace failure by a list of successes, in: Proc. 1985 Conf. on Functional Programming Languages and Computer Architecture, Nancy, France, 1985, pp. 113-128.
14. Wadler P. Comprehending Monads. Proc. 1990 ACM Conf. on Lisp and Functional Programming. 1990;61-77 Nice, France.
15. P. Wadler, The essence of functional programming, in: Proc. 1992 Symp. on Principles of Programming Languages, Albuquerque, New Mexico, 1992, pp. 1-14.
16. P. Wadler, Monads for functional programming, in: J. Jeuring, E. Meijer (Eds.), Advanced Functional Programming, Lecture Notes in Computer Science, Vol. 925, Springer, Berlin, May 1995, pp. 24-52.