Parametricity for Haskell with Imprecise Error Semantics

DOI10.1007/978-3-642-02273-9_22zbMath1246.68087OpenAlexW1605545000MaRDI QIDQ3637203

Florian Stenger, Janis Voigtländer

Publication date: 7 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02273-9_22

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Parametricity for Haskell with Imprecise Error Semantics

Uses Software

• Haskell

Cites Work

• A family of syntactic logical relations for the semantics of Haskell-like languages
• Free theorems in the presence of seq
• Parametricity for Haskell with Imprecise Error Semantics
• Parametric polymorphism and operational equivalence
• Static contract checking for Haskell
• Unnamed Item
• Unnamed Item

This page was built for publication: Parametricity for Haskell with Imprecise Error Semantics