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

Active Bibliography

5 On generic context lemmas for lambda calculi with sharing – Manfred Schmidt-Schauß, David Sabel - 2008
2 Amb Breaks Well-Pointedness, Ground Amb Doesn’t – Paul Blain Levy - 2007
On the representation of McCarthy’s ambin the π-calculus – Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi - 2004
8 On the Safety of Nöcker’s Strictness Analysis – Manfred Schmidt-Schauß, Marko Schütz, David Sabel
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
3 A Contextual Semantics for Concurrent Haskell with Futures – David Sabel, Manfred Schmidt-schauß, Johann Wolfgang Goethe-universität - 2011
10 Adequacy of compositional translations for observational semantics – Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel - 2008
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
2 Natural Semantics for Non-Determinism – Andrew Moran - 1993
2 Implementing Declarative Parallel Bottom-Avoiding Choice – Andre Rauber du Bois, Robert Pointon, Hans-Wolfgang Loidl, Phil Trinder - 2002
Optimizing Eden by program transformation – Cristóbal Pareja, Ricardo Peña, Fernando Rubio, O Rubio, Clara Segura
2 Two Non-Determinism Analyses in Eden – Ricardo Peña, Clara Segura - 2000
7 Deterministic Concurrency – David Paul Carter - 1993
6 Non-Determinism Analysis in a Parallel-Functional Language – Ricardo Peña, Clara Segura - 2000
7 Unique Fixed Point Induction for McCarthy's Amb – Søren Lassen, Andrew Moran - 1999
16 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
4 A Filter Model for Concurrent λ-Calculus – Mariangiola Dezani-ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1998
1 Divergenceleast semantics of amb is Hoare – Soren B. Lassen, Paul Blain Levy, Prakash Panangaden - 2005
Program Equivalence for a Concurrent Lambda Calculus with Futures – Joachim Niehren, David Sabel, Manfred Schmidt-schauß - 2006