scientific article; zbMATH DE number 4060679

MaRDI QIDQ3795183zbMATH OpenFDO

Authors Hugh Glaser, Chris Hankin, David Till

Publication date 1984

zbMATH Keywords

denotational semanticsfunctional programmingfunctional programming languagesHOPEKRClambda- calculusLISP

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Cited in

(12)

• An informal introduction to programming data processing problems in a functional language
• NP-completeness of a combinator optimization problem
• scientific article; zbMATH DE number 4170071 (Why is no real title available?)
• Funktionale und Applikative Programmierung
• Yacc in sasl — an exercise in functional programming
• scientific article; zbMATH DE number 3963172 (Why is no real title available?)
• Proposal for a natural formalization of functional programming concepts
• scientific article; zbMATH DE number 42964 (Why is no real title available?)
• scientific article; zbMATH DE number 42965 (Why is no real title available?)
• scientific article; zbMATH DE number 108367 (Why is no real title available?)
• scientific article; zbMATH DE number 1923041 (Why is no real title available?)
• An operational semantics for paragon: A design notation for parallel architectures

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