Proposal for a natural formalization of functional programming concepts

DOI10.1051/ITA/1988220303411MaRDI QIDQ3793721zbMATH OpenOpenAlexFDO

Authors P. Bellot, D. Sarni

Publication date 1988

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92312

zbMATH Keywords

combinatory logicformal theoryformalizationfunctional programmingGraal languagepolyadic applicationsemanticsuncurryfied combinator

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3942987
• scientific article; zbMATH DE number 4016174
• A theoretical model of a high-level programming language
• scientific article; zbMATH DE number 4011895
• scientific article; zbMATH DE number 3963172

Cites work

• A new implementation technique for applicative languages
• Can programming be liberated from the von Neumann style?
• scientific article; zbMATH DE number 3917684 (Why is no real title available?)
• scientific article; zbMATH DE number 3942987 (Why is no real title available?)
• scientific article; zbMATH DE number 4060679 (Why is no real title available?)
• scientific article; zbMATH DE number 3694575 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• The lambda calculus, its syntax and semantics

Cited in

(2)

• Grail: a functional form for imperative mobile code
• scientific article; zbMATH DE number 4016174 (Why is no real title available?)

This page was built for publication: Proposal for a natural formalization of functional programming concepts

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