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

Documents Related by Co-Citation

11 Call-by-name, call-by-need, and McCarthy’s Amb – A Moran - 1998
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
1115 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
38 Lambda Calculus with Explicit Recursion – Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan-Willem Klop - 1996
940 Term Rewriting and All That – F Baader, T Nipkow - 1998
39 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
31 Relational Reasoning about Functions and Nondeterminism – Søren Bøgh Lassen, Søren Bøgh Lassen - 1998
36 Cyclic Lambda Calculi – Zena M. Ariola, Stefan Blom - 1997
39 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
6 Congruence of bisimulation in a non-deterministic call-by-need lambda calculus – M Mann - 2005
95 Equality In Lazy Computation Systems – Douglas J. Howe - 1998
14 A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations – David Sabel, Manfred Schmidt-schauß - 2008
54 98 Language and Libraries – Haskell - 2003
18 The Concurrent Clean language report, version 2.0. http://www.cs.kun.nl/~clean – Rinus Plasmeijer, Marko van Eekelen - 2001
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
31 Strictness analysis using abstract reduction – E Nocker - 1993
36 From Operational Semantics to Domain Theory – Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1995