Recursive Monadic Bindings (2000)

Cached

Download Links

by Levent Erkok , John Launchbury
Citations:43 - 4 self

Documents Related by Co-Citation

34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
730 Notions of Computation and Monads – Eugenio Moggi - 1991
159 Generalising Monads to Arrows – John Hughes - 1998
1312 Monads for functional programming – Philip Wadler - 1995
113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
456 Comprehending Monads – Philip Wadler - 1992
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
48 A new notation for arrows – Ross Paterson - 2001
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
66 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002