Documents Related by Co-Citation

1305 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
70 98: A Non-strict, Purely Functional Language – Haskell - 1999
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
455 Comprehending Monads – Philip Wadler - 1992
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
159 Generalising Monads to Arrows – John Hughes - 1998
15 Achieving information flow security through precise control of effects – William L. Harrison - 2005
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
163 An abstract view of programming languages – E Moggi - 1989
33 Interlanguage Working Without Tears: Blending SML with Java – Nick Benton, Andrew Kennedy - 1999
153 Type classes with functional dependencies – Mark P. Jones - 2000
57 Calling Hell From Heaven and Heaven From Hell – Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon Peyton Jones - 1999
10 Lexically scoped type variables – S Peyton Jones, M Shields - 2004
51 Asynchronous Exceptions in Haskell – Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy - 2006