A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations

DOI10.1017/S0960129508006774MaRDI QIDQ3520145zbMATH OpenOpenAlexWikidataFDO

Authors David Sabel, Manfred Schmidt-Schauß

Publication date 15 August 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129508006774

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• The Call-by-Need Lambda Calculus, Revisited
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• A non-deterministic call-by-need lambda calculus
• A non-deterministic call-by-need lambda calculus
• The \(\lambda\)-context calculus
• A sound and complete bisimulation for contextual equivalence in \(\lambda\)-calculus with call/cc
• A calculus of lambda calculus contexts
• scientific article; zbMATH DE number 7650848
• Congruence of bisimulation in a non-deterministic call-by-need lambda calculus

Cites work

• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3664393 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Algorithm + strategy = parallelism
• On the representation of McCarthy's amb in the -calculus
• Secrets of the Glasgow Haskell Compiler inliner

Cited in

(14)

• A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
• Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
• A non-deterministic call-by-need lambda calculus
• Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
• Closures of may-, should- and must-convergences for contextual equivalence
• Extracting total Amb programs from proofs
• Observational program calculi and the correctness of translations
• The Call-by-Need Lambda Calculus, Revisited
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
• Minimal translations from synchronous communication to synchronizing locks
• Structural Rewriting in the pi-Calculus.
• On generic context lemmas for higher-order calculi with sharing
• A non-deterministic call-by-need lambda calculus

Describes a project that uses

Uses Software

• GHC
• Haskell

This page was built for publication: A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520145)