Semantics of fixIO (2001)

Cached

Download Links

by Levent Erkök , John Launchbury , Andrew Moran
Citations:6 - 3 self

Documents Related by Co-Citation

43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
10 A Recursive do for Haskell – Levent Erkök, John Launchbury - 2002
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
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
4 Traced premonoidal categories (Extended Abstract – N BENTON, M HYLAND - 2002
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
51 Typing Haskell in Haskell – Mark P. Jones - 1999
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
22 A calculus for link-time compilation – Elena Machkasova, Franklyn A. Turbak - 2000
15 A Monadic Multi-stage Metalanguage – E. Moggi, S. Fagorzi - 2003
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
141 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
79 Objects as closures: Abstract semantics of object-oriented languages – Uday S. Reddy - 1988
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
32 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998