Parametricity for Haskell with Imprecise Error Semantics

DOI10.1007/978-3-642-02273-9_22MaRDI QIDQ3637203zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Haskell type constraints unleashed
• Publication:4721636
• An error-tolerant type system for variational lambda calculus
• Implementation of Functional Languages
• Refinement types for Haskell
• Continuation semantics for parallel Haskell dialects
• Internal parametricity for cubical type theory
• Internal Parametricity for Cubical Type Theory

Cites work

• A family of syntactic logical relations for the semantics of Haskell-like languages
• Free theorems in the presence of seq
• scientific article; zbMATH DE number 1497772 (Why is no real title available?)
• Parametric polymorphism and operational equivalence
• Parametricity for Haskell with Imprecise Error Semantics
• Static contract checking for Haskell
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell

Cited in

(2)

• Parametricity for Haskell with Imprecise Error Semantics
• scientific article; zbMATH DE number 1497772 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell

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

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