A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations (2008)

by David Sabel , Manfred Schmidt-schauß
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:14 - 9 self

Documents Related by Co-Citation

10 On the representation of McCarthy’s amb in the pi-calculus – A Carayol, D Hirschkoff, D Sangiorgi - 2005
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
12 Observational semantics for a concurrent lambda calculus with reference cells and futures – J Niehren, D Sabel, M Schmidt-Schauß, J Schwinghammer - 2007
11 Call-by-name, call-by-need, and McCarthy’s Amb – A Moran - 1998
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003
592 A Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
76 The Incremental Garbage Collection of Processes – Henry G. Baker, Carl Hewitt - 1977
10 Adequacy of compositional translations for observational semantics – Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel - 2008
210 A powerdomain construction – G. D. Plotkin - 1976
11 A concurrent lambda calculus with futures. Theor. Comput. Sci., 364. and Livelocks in Concurrent Objects with Futures 25 – J Niehren, J Schwinghammer, G Smolka - 2006
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
7 Developing Applications with Objective Caml. O’Reilly – Pascal Manoury Chailloux, Emmanuel, Bruno Pagano - 2000
13 The Missing Link -- Dynamic Components for ML – Andreas Rossberg - 2006
294 The Oz Programming Model – Gert Smolka - 1995
55 The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) – Davide Sangiorgi - 1994
35 Operational Semantics and Program Equivalence – Andrew M. Pitts - 2000