Recursive Monadic Bindings (2000)

Cached

Download Links

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

Active Bibliography

11 Value Recursion in Monadic Computations – Levent Erkok - 2002
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
A Logical View of Effects – Sungwoo Park , Robert Harper
48 A new notation for arrows – Ross Paterson - 2001
6 Defining and Implementing Closed, Domain-Specific Languages – Richard B. Kieburtz - 2000
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
96 How to Declare an Imperative – Philip Wadler - 1995
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
Unifying Theories of Programming with Monads – Jeremy Gibbons
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
35 Semantic Lego – David Espinosa - 1995
September 1999 CSPHD – University Of Bristol, Eleni Spiliopoulou - 1999
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
10 Confessions of a used programming language salesman (getting the masses hooked on haskell – Erik Meijer - 2006
20 Correctness of Monadic State: An Imperative Call-by-Need Calculus – Zena M. Ariola, Amr Sabry - 1998
13 Single Assignment C - Entwurf und Implementierung einer C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen – Sven-Bodo Scholz - 1996
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak