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:15 - 10 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
21 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
13 Call-by-name, call-by-need, and McCarthy’s Amb – A K D Moran - 1998
1119 The Lambda Calculus: Its Syntax and Semantics – H P BARENDREGT - 1984
19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003
587 Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
440 The ⇡-calculus: a Theory of Mobile Processes – D Sangiorgi, D Walker - 2001
75 The Incremental Garbage Collection of Processes – Henry G. Baker, Carl Hewitt - 1977
212 A powerdomain construction – G. D. Plotkin - 1976
10 Adequacy of compositional translations for observational semantics – Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel - 2008
187 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
42 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
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
22 A Concurrent Lambda Calculus with Futures – Joachim Niehren, Jan Schwinghammer, Gert Smolka - 2006
951 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
293 The Oz Programming Model – Gert Smolka - 1995