Readscheme.org
Haskell Bibliography Home
Language Design
Monads
XML and the Web
Generic Programming
Applications
Compiler Technology
GUI Programming
Parallel Programming
Recent Additions
Search...

Monads and Arrows: Theory and Applications

  • Magnus Carlsson. "Arrows for Fudgets". October 2001. Available online: ps. Bibtex citation.
  • Magnus Carlsson. "Monads for Incremental Computing". ICFP'2002. October 2002. Available online: pdf. Bibtex citation.
  • Martin Erwig. "The Categorical Imperative - Or: How to Hide Your State Monads". 10th Int. Workshop on Implementation of Functional Languages (IFL'98). 1998. Available online: ps pdf. Bibtex citation.
  • Levent Erkök and John Launchbury and Andrew Moran. "Semantics of Value Recursion for Monadic Input/Output". Journal of Theoretical Informatics and Applications. 36. 2. 2002. Bibtex citation.
  • Levent Erkök and John Launchbury. "A recursive do for Haskell". Haskell Workshop 2002. October 2002. Available online: ps pdf. Bibtex citation.
  • Levent Erkök. "Value recursion in monadic computations". PhD. Thesis. OGI School of Science and Engineering. October 2002. Available online: ps pdf. Bibtex citation.
  • Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. "Robots, Arrows and Functional Reactive Programming". Summer School and Workshop on Advanced Functional Programming. August 2002. Available online: pdf. Bibtex citation.
  • Ralf Hinze. "Prological features in a functional setting - axioms and implementations". Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98). April 1998. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Prolog's control constructs in a functional setting - Axioms and implementation". International Journal of Foundations of Computer Science. 12(2). 2001. Available online: ps. Bibtex citation.
  • Simon Peyton Jones. "Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell". 2000 Marktoberdorf Summer School. 2000. Available online: ps Powerpoint. Bibtex citation.
  • Ross Paterson. "A New Notation for Arrows". International Conference on Functional Programming (ICFP2001). 2001. Available online: ps. Bibtex citation.
  • John Hughes. "Generalising Monads to Arrows". Science of Computer Programming. 37. May 2000. Available online: ps pdf. Bibtex citation.
  • Levent Erkök, John Launchbury and Andrew Moran. "Semantics of fixIO". Workshop on Fixed Points in Computer Science (FICS'01). 2001. Available online: ps pdf. Bibtex citation.
  • Levent Erkok and John Launchbury. "A Recursive do for Haskell Design And Implementation". Oregon Graduate Institute. CSE Technical Report No. CSE-00-014. 2000. Available online: ps pdf. Bibtex citation.
  • Levent Erkok and John Launchbury. "Recursive monadic Bindings Technical Development and Details". Oregon Graduate Institute. CSE Technical Report No. CSE-00-011. June 2000. Available online: ps pdf. Bibtex citation.
  • Levent Erkok and John Launchbury. "Recursive Monadic Bindings". Proceedings of the International Conference on Functional Programming ICFP'00. 2000. Available online: ps pdf. Bibtex citation.
  • Ian Holyer and Eleni Spiliopoulou. "Concurrent Monadic Interfacing". IFL '98: Proceedings of the 10th International Workshop on Implementation of Functional Languages. Lecture Notes in Computer Science, Volume 1595. September 1998. Available online: ps. Bibtex citation.
  • Simon Peyton Jones and J Launchbury. "Lazy functional state threads". SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'94). June 1994. Available online: ps. Bibtex citation.
  • Simon Peyton Jones and PL Wadler. "Imperative functional programming". 20th ACM Symposium on Principles of Programming Languages (POPL'93). January 1993. Available online: ps. Bibtex citation.
  • Guy L. Steele, Jr.. "Building Interpreters by Composing Monads". Principles of Programming Languages (POPL'94). January 1994. Available online: ps. Bibtex citation.
  • Sheng Liang. "Modular Monadic Semantics and Compilation". PhD. Thesis. Yale University. 1997. Available online: ps. Bibtex citation.
  • Sheng Liang and Paul Hudak. "Modular Denotational Semantics for Compiler Construction". European Symposium on Programming. April 1996. Available online: ps. Bibtex citation.
  • Sheng Liang, Paul Hudak and Mark Jones. "Monad Transformers and Modular Interpreters". 22nd ACM Symposium on Principles of Programming Languages (POPL'95). January 1995. Available online: ps. Bibtex citation.
  • Philip Wadler. "How to declare an imperative". ACM Computing Surveys. 29(3). September 1997. Available online: ps. Bibtex citation.
  • Philip Wadler. "Monads and composable continuations". Lisp and Symbolic Computation, Special issue on continuations. 7(1). January 1994. Available online: ps. Bibtex citation.
  • Philip Wadler. "Monads for functional programming". Marktoberdorf Summer School on Program Design Calculi. August 1992. Available online: ps. Bibtex citation.
  • Philip Wadler. "Comprehending monads". Mathematical Structures in Computer Science, Special issue of selected papers from 6'th Conference on Lisp and Functional Programming. 2. 1992. Available online: ps. Bibtex citation.
  • David King and Philip Wadler. "Combining monads". Glasgow Workshop on Functional Programming. July 1992. Available online: ps. Bibtex citation.
  • Philip Wadler. "The essence of functional programming". 19'th Symposium on Principles of Programming Languages. January 1992. Available online: ps. Bibtex citation.
  • Mark P. Jones and Luc Duponcheel. "Composing Monads". Yale University. Research Report YALEU/DCS/RR-1004. December 1993. Available online: pdf ps. Bibtex citation.
  • Graham Hutton and Erik Meijer. "Monadic parser combinators". Department of Computer Science, University of Nottingham. Technical Report NOTTCS-TR-96-4. 1996. Available online: pdf ps. Bibtex citation.
  • Graham Hutton and Erik Meijer. "Monadic parsing in Haskell". Journal of Functional Programming. 8(4). July 1998. Available online: pdf ps. Bibtex citation.
  • Koen Claessen. "A Poor Man's Concurrency Monad". Journal of Functional Programming. 1999. Available online: ps. Bibtex citation.

Last modified: Saturday, December 24th, 2005 12:22:33am
HTML generated using WebIt!.