A Recursive do for Haskell (2002)

Cached

Download Links

by Levent Erkök , John Launchbury
Citations:10 - 1 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
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
18 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
48 A new notation for arrows – Ross Paterson - 2001
12 Arrows and computation – Ross Paterson - 2003
Mixin Modules and Computational Effects – unknown authors
18 Mixin Modules and Computational Effects – D. Ancona, S. Fagorzi, E. Moggi, E. Zucca - 2003
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
A Cumulative Monadic Metalanguage – Eugenio Moggi - 2004
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design – unknown authors
12 Overview of Hydra: A concurrent language for synchronous digital circuit design – John T. O’donnell - 2002
4 Polymorphic Subtyping in O'Haskell – Johan Nordlander - 2001
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
Evolving Domain Specific Languages – Project Summary We
11 Programming With Types – Stephanie Claudene Weirich - 2002
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
Hardware Design with Generalized Arrows – Adam Megacz