The logic of demand in Haskell

DOI10.1017/S0956796805005666MaRDI QIDQ5708288zbMATH OpenFDO

Authors William L. Harrison, Richard B. Kieburtz

Publication date 28 November 2005

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796805005666

zbMATH Keywords

\(P\)-logicfunctional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2090021
• The semantics of lazy functional languages
• HALO, Haskell to logic through denotational semantics
• Improving lazy non-deterministic computations by demand analysis
• scientific article; zbMATH DE number 1867306

Cited in

(4)

• HasCasl: integrated higher-order specification and program development
• Selective strictness and parametricity in structural operational semantics, inequationally
• Secure Microkernels, State Monads and Scalable Refinement
• scientific article; zbMATH DE number 2090021 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: The logic of demand in Haskell

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