An extension of lambda-calculus for functional programming

DOI10.1016/0743-1066(84)90012-8MaRDI QIDQ3702505zbMATH OpenOpenAlexFDO

Authors György E. Révész

Publication date 1984

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(84)90012-8

zbMATH Keywords

conversion rules for list manipulationsgraph-reduction algorithmsemantics of functional programming

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 4050954
• scientific article; zbMATH DE number 194911
• A consistent extension of the lambda-calculus as a base for functional programming languages
• scientific article; zbMATH DE number 1086663
• A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem

Cited in

(17)

• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• A lambda-calculus for dynamic binding
• A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
• Scheme: A interpreter for extended lambda calculus
• A class of bounded functions, a database language and an extended lambda calculus
• Functional programming framework for \textit{GRworkbench}
• Functional back-ends within the lambda-sigma calculus
• The transformation calculus
• A consistent extension of the lambda-calculus as a base for functional programming languages
• scientific article; zbMATH DE number 3928326 (Why is no real title available?)
• Symbolic manipulation in an extended λ-calculus
• scientific article; zbMATH DE number 4050954 (Why is no real title available?)
• scientific article; zbMATH DE number 1285809 (Why is no real title available?)
• scientific article; zbMATH DE number 1942466 (Why is no real title available?)
• Note on Algol and conservatively extending functional programming
• -calculus semantics of functional programming language FFP
• Translating lambda calculus into C++ templates

This page was built for publication: An extension of lambda-calculus for functional programming

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