Proof Tool Support for Explicit Strictness
From MaRDI portal
Publication:3623948
DOI10.1007/11964681_3zbMath1236.68033OpenAlexW2097149419MaRDI QIDQ3623948
Maarten de Mol, Marko van Eekelen
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
Related Items (5)
Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Making ``stricterness more relevant ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages
Uses Software
This page was built for publication: Proof Tool Support for Explicit Strictness