A Recursive do for Haskell (2002)

View PDF

Download Links

by Levent Erkök , John Launchbury
Citations:14 - 1 self

Active Bibliography

12 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
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
360 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
224 Information flow inference for ML – François Pottier, Vincent Simonet
Abstract A Recursive do for Haskell: Design and Implementation – unknown authors
186 Lambda Lifting: Transforming Programs to Recursive Equations – Thomas Johnsson - 1985