A consistent extension of the lambda-calculus as a base for functional programming languages

DOI10.1016/S0019-9958(82)90458-2MaRDI QIDQ3216136zbMATHFDO

Authors Klaus J. Berkling, Elfriede Fehr

Publication date 1982

Published in Information and Control (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsfunctional programming languageBerkling Reduction Languageefficient mechanical implementation of lambda calculuslambda-barvariable binding mechanisms

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• An extension of lambda-calculus for functional programming
• A lambda-calculus for dynamic binding
• scientific article; zbMATH DE number 4050954
• scientific article; zbMATH DE number 4061195
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Cited in

(13)

• Symbolic manipulation in an extended λ-calculus
• Spinal atomic \(\lambda\)-calculus
• Scheme: A interpreter for extended lambda calculus
• scientific article; zbMATH DE number 800564 (Why is no real title available?)
• Note on Algol and conservatively extending functional programming
• CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi
• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
• scientific article; zbMATH DE number 89003 (Why is no real title available?)
• Enriching the lambda calculus with contexts: toward a theory of incremental program construction
• A \(\rho\)-calculus of explicit constraint application
• A lambda-calculus for dynamic binding
• An extension of lambda-calculus for functional programming
• Functional back-ends within the lambda-sigma calculus

This page was built for publication: A consistent extension of the lambda-calculus as a base for functional programming languages

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