The semantics of lazy functional languages

DOI10.1016/0304-3975(89)90122-9zbMATH Open0678.68081OpenAlexW2079399972MaRDI QIDQ1124368FDOQ1124368

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

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

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)

Cites Work

• Title not available (Why is that?)
• A new implementation technique for applicative languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursion equations as a programming language
• Functional programming with side-effects

Cited In (18)

• Laziness by need
• The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
• An operational semantics of sharing in lazy evaluation
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Purely functional lazy nondeterministic programming
• A new programming technique for lazy functional languages

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)