A Recursive do for Haskell (2002)

Cached

Download Links

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

Documents Related by Co-Citation

43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
67 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
110 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
18 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
153 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
22 A calculus for link-time compilation – Elena Machkasova, Franklyn A. Turbak - 2000
15 A Monadic Multi-stage Metalanguage – E. Moggi, S. Fagorzi - 2003
421 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
132 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
78 Objects as closures: Abstract semantics of object-oriented languages – Uday S. Reddy - 1988
142 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
48 A new notation for arrows – Ross Paterson - 2001