Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language (2003)

by Andrew Moran , David Sands , Magnus Carlsson
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:20 - 3 self

Active Bibliography

7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – Jörgen Gustavsson , David Sands - 1999
6 Possibilities and limitations of call-by-need space improvement – Jörgen Gustavsson - 2001
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
8 Making Choices Lazily – John Hughes, Andrew Moran - 1995
7 Unique Fixed Point Induction for McCarthy's Amb – Søren Lassen, Andrew Moran - 1999
In submission Higher-Order Cardinality Analysis Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – unknown authors
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice – unknown authors
In submission Modular, Higher-Order Cardinality Analysis in Theory and Practice Extended version – Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
Towards a Scalable Update Avoidance Analysis – Jörgen Gustavsson, Josef Svenningsson - 2000
15 A Usage Analysis With Bounded Usage Polymorphism and Subtyping – Jörgen Gustavsson, Josef Svenningsson - 2000
38 Once Upon a Polymorphic Type – Keith Wansbrough, Simon Peyton Jones - 1998
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998