scientific article; zbMATH DE number 176136

zbMATH Open0777.68062MaRDI QIDQ4035237FDOQ4035237

Authors Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca 

Publication date 18 May 1993

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)

• 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

(12)

• Standardization of a Call-By-Value Lambda-Calculus
• Lazy logical semantics
• Title not available (Why is no real title available?)
• The call-by-value λ-calculus: a semantic investigation
• The Value-Passing Calculus
• Full abstraction in the lazy lambda calculus
• Title not available (Why is no real title available?)
• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• Title not available (Why is no real title available?)
• 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)