Functional back-ends within the lambda-sigma calculus

DOI10.1145/232627.232632MaRDI QIDQ2817681zbMATH OpenOpenAlexFDO

Authors Thérèse Hardin, Luc Maranget, Bruno Pagano

Publication date 1 September 2016

Published in Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00073659/file/RR-3034.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Functional runtime systems within the lambda-sigma calculus
• An extension of lambda-calculus for functional programming
• A consistent extension of the lambda-calculus as a base for functional programming languages
• Formalization of the functional programming languages based on lambda calculus
• scientific article; zbMATH DE number 3905828
• A calculus of lambda calculus contexts
• scientific article; zbMATH DE number 192881
• The Intensional Lambda Calculus
• The lambda-context calculus (extended version)
• The \(\lambda\)-context calculus

Cited in

(10)

• Conditional lambda-theories and the verification of static properties of programs
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• Equational rules for rewriting logic
• Normalisation for higher-order calculi with explicit substitutions
• State-transition machines for lambda-calculus expressions
• The next 700 Krivine machines
• Sequent calculus as a compiler intermediate language
• Functional runtime systems within the lambda-sigma calculus
• Programming Languages and Systems
• Resource operators for \(\lambda\)-calculus

This page was built for publication: Functional back-ends within the lambda-sigma calculus

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