The semantics of lazy functional languages

DOI10.1016/0304-3975(89)90122-9MaRDI QIDQ1124368zbMATH OpenOpenAlexFDO

Authors Mark B. Josephs

Publication date 1989

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(89)90122-9

zbMATH Keywords

denotational semantics\(\lambda \) -calculuslazy functional languages

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• scientific article; zbMATH DE number 2090021
• scientific article; zbMATH DE number 1231480
• Lazy logical semantics
• scientific article; zbMATH DE number 1136653

Cites work

• scientific article; zbMATH DE number 3664393 (Why is no real title available?)
• scientific article; zbMATH DE number 3722073 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• A new implementation technique for applicative languages
• Functional programming with side-effects
• Recursion equations as a programming language

Cited in

(18)

• The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
• Laziness by need
• An operational semantics of sharing in lazy evaluation
• scientific article; zbMATH DE number 1136653 (Why is no real title available?)
• scientific article; zbMATH DE number 1406087 (Why is no real title available?)
• On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• scientific article; zbMATH DE number 5136280 (Why is no real title available?)
• scientific article; zbMATH DE number 2090021 (Why is no real title available?)
• The language of calculus of computable predicates as a minimal kernel for functional languages
• The logic of demand in Haskell
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• The denotational semantics of a functional tree-manipulation language
• Side-effect localization for lazy, purely functional languages via aspects
• A functional correspondence between call-by-need evaluators and lazy abstract machines
• The role of indirections in lazy natural semantics
• A new programming technique for lazy functional languages
• Purely functional lazy nondeterministic programming

This page was built for publication: The semantics of lazy functional languages

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