Proof Tool Support for Explicit Strictness

DOI10.1007/11964681_3MaRDI QIDQ3623948zbMATH OpenOpenAlexFDO

Authors Marko van Eekelen, Maarten de Mol

Publication date 28 April 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11964681_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Proving Properties of Lazy Functional Programs with Sparkle
• scientific article; zbMATH DE number 2086496
• Derivation and inference of higher-order strictness types
• Safety of Nöcker's strictness analysis
• Making ``stricterness more relevant

Cited in

(7)

• A proof tool for reasoning about functional programs
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Selective strictness and parametricity in structural operational semantics, inequationally
• A family of syntactic logical relations for the semantics of Haskell-like languages
• scientific article; zbMATH DE number 2086496 (Why is no real title available?)
• Making ``stricterness more relevant
• Proving Properties of Lazy Functional Programs with Sparkle

Describes a project that uses

Uses Software

• Sparkle

This page was built for publication: Proof Tool Support for Explicit Strictness

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