scientific article; zbMATH DE number 176136

MaRDI QIDQ4035237zbMATH OpenFDO

Authors Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca

Publication date 18 May 1993

zbMATH Keywords

\(\lambda-\beta_ v\)-calculuscall-by-value evaluationequivalenceimplementation functional programming languagesISWIM-SECD systemlazy evaluationtermination

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction in the lazy lambda calculus
• The lazy lambda calculus in a concurrency scenario
• Lambda-calculi for (strict) parallel functions
• Models of the lambda calculus: an introduction
• Lazy logical semantics

Cited in

(14)

• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• Full abstraction in the lazy lambda calculus
• A functional correspondence between call-by-need evaluators and lazy abstract machines
• The Value-Passing Calculus
• Lazy logical semantics
• scientific article; zbMATH DE number 988749 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 1497774 (Why is no real title available?)
• The call-by-value λ-calculus: a semantic investigation
• scientific article; zbMATH DE number 7340561 (Why is no real title available?)
• Standardization of a Call-By-Value Lambda-Calculus
• Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
• Obtaining lazy evaluation with continuations in SCHEME
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication:

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