scientific article; zbMATH DE number 3963172

MaRDI QIDQ3731013zbMATH OpenFDO

Authors Marc van Leeuwen, Henk Barendregt

Publication date 1986

zbMATH Keywords

functional programmingsecond-order typed lambda calculussemantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4164127
• Functional programming with side-effects
• scientific article; zbMATH DE number 4060679
• Publication:3495633
• scientific article; zbMATH DE number 3940711

Cited in

(12)

• Functional programming with side-effects
• On interpretation of functional programming languages
• An informal introduction to programming data processing problems in a functional language
• The essence of functional programming on semantic data
• The denotational semantics of a functional tree-manipulation language
• scientific article; zbMATH DE number 4164127 (Why is no real title available?)
• scientific article; zbMATH DE number 3940711 (Why is no real title available?)
• Proposal for a natural formalization of functional programming concepts
• Typed representation of objects by functions
• scientific article; zbMATH DE number 1263381 (Why is no real title available?)
• Core FOBS: A hybrid functional and object-oriented language
• scientific article; zbMATH DE number 1923041 (Why is no real title available?)

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 Q3731013)