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

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

Active Bibliography

7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO. Frank report 16, Institut für – Manfred Schmidt-schauß, Michael Huber, Fachbereich Informatik
41 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
416 Obliq - A language with distributed scope – Luca Cardelli - 1995
19 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
298 The Oz Programming Model – Gert Smolka - 1995