scientific article

zbMATH Open0777.68062MaRDI QIDQ4035237FDOQ4035237

Furio Honsell, Lavinia Egidi, Simona Ronchi Della Rocca

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

equivalenceterminationlazy evaluation\(\lambda-\beta_ v\)-calculuscall-by-value evaluationimplementation functional programming languagesISWIM-SECD system

Mathematics Subject Classification ID

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

Cited In (11)

• Standardization of a Call-By-Value Lambda-Calculus
• Title not available (Why is that?)
• The call-by-value λ-calculus: a semantic investigation
• The Value-Passing Calculus
• Full abstraction in the lazy lambda calculus
• Title not available (Why is that?)
• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• Title not available (Why is that?)
• A functional correspondence between call-by-need evaluators and lazy abstract machines
• 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)