Safe zero-cost coercions for Haskell

DOI10.1145/2628136.2628141MaRDI QIDQ2819677zbMATH OpenOpenAlexFDO

Authors Joachim Breitner, Richard A. Eisenberg, Stephanie Weirich, Simon Peyton-Jones

Publication date 29 September 2016

Published in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2628136.2628141

zbMATH Keywords

coercionHaskellnewtype derivingtype class

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Safe zero-cost coercions for Haskell
• Type-safe cast (functional pearl)
• Generative type abstraction and type-level computation
• Types for Proofs and Programs
• Coercions in a polymorphic type system

Cited in

(2)

• Type-safe cast (functional pearl)
• Safe zero-cost coercions for Haskell

Describes a project that uses

Uses Software

• Haskell
• OCaml

This page was built for publication: Safe zero-cost coercions for Haskell

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