|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
10
|
Value Recursion in Monadic Computations
– Levent Erkok
- 2002
|
|
9
|
A Recursive do for Haskell
– Levent Erkök, John Launchbury
- 2002
|
|
88
|
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
|
|
40
|
A new notation for arrows
– Ross Paterson
- 2001
|
|
5
|
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
|
|
20
|
Transactional Events
– Kevin Donnelly, Matthew Fluet
- 2008
|
|
2
|
Just do it: Simple monadic equational reasoning
– Jeremy Gibbons, Ralf Hinze
- 2011
|
|
|
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
|
|
|
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
|
|
41
|
Recursive Monadic Bindings
– Levent Erkok, John Launchbury
- 2000
|
|
12
|
Arrows and computation
– Ross Paterson
- 2003
|
