Semantics of value recursion for monadic input/output (2002)

Cached

Download Links

by Levent Erkök , John Launchbury , Andrew Moran
Venue:Journal of Theoretical Informatics and Applications
Citations:7 - 1 self

Active Bibliography

11 Value Recursion in Monadic Computations – Levent Erkok - 2002
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
48 A new notation for arrows – Ross Paterson - 2001
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
35 Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion – G.M. Bierman, A. M. Pitts, C. V. Russo
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998
12 The Structure of Call-by-Value – Carsten Führmann - 2000
12 Arrows and computation – Ross Paterson - 2003
1st Year Transfer Dissertation – Joel Wright - 2003
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
5 Cartesian effect categories are Freyd-categories – Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud - 2009
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
27 Monads, effects and transformations – Nick Benton, Andrew Kennedy - 1999