The logic of demand in Haskell

DOI10.1017/S0956796805005666zbMath1085.68023MaRDI QIDQ5708288

William L. Harrison, Richard B. Kieburtz

Publication date: 28 November 2005

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

zbMATH Keywords

functional programming language\(P\)-logic

Mathematics Subject Classification ID

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

Related Items (3)

Secure Microkernels, State Monads and Scalable Refinement ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ HasCasl: integrated higher-order specification and program development

Uses Software

• Haskell

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