Semantics of fixIO (2001)

Cached

Download Links

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

Active Bibliography

7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
12 Value Recursion in Monadic Computations – Levent Erkok - 2002
10 A Recursive do for Haskell – Levent Erkök, John Launchbury - 2002
99 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell – Simon Peyton Jones - 2001
1st Year Transfer Dissertation – Joel Wright - 2003
48 A new notation for arrows – Ross Paterson - 2001
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
A Logical View of Effects – Sungwoo Park , Robert Harper
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
Declarative Support for Prototyping Interactive Systems – Meurig Sage - 2001
6 Just do it: Simple monadic equational reasoning – Jeremy Gibbons, Ralf Hinze - 2011
Communicating Haskell Processes – Neil Christopher Charles Brown - 2011
33 Transactional Events – Kevin Donnelly, Matthew Fluet - 2008
2 An Abstract Machine for Concurrent Haskell with Futures – David Sabel - 2012
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
1 Modelling Deterministic Concurrent I/O – Malcolm Dowse
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
A Partial Rehabilitation of Side-Effecting I/O: Non-Determinism in Non-Strict Functional Languages – Manfred Schmidt-Schauß, Fachbereich Informatik, Johann Wolfgang Goethe-universitat - 1996