1st Year Transfer Dissertation (2003)

Cached

Download Links

by Joel Wright

Active Bibliography

96 How to Declare an Imperative – Philip Wadler - 1995
32 Transactional Events – Kevin Donnelly, Matthew Fluet - 2008
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
3 Embracing Windows – Colin J. Taylor - 1996
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
97 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Logical View of Effects – Sungwoo Park , Robert Harper
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
16 Compiling Exceptions Correctly – Graham Hutton, Joel Wright - 2004
A Modular, Algebra-Sequenced Paramorphic . . . – Mark H. Snyder - 2007
for the degree of phd. By – Neil Christopher, Charles Brown
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007