Derivable Type Classes

DOI10.1016/S1571-0661(05)80542-0zbMath1262.68028MaRDI QIDQ4921511

Ralf Hinze, Simon L. Peyton Jones

Publication date: 10 May 2013

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (7)

Safe zero-cost coercions for Haskell ⋮ Deriving Comparators and Show Functions in Isabelle/HOL ⋮ Generic programming in 3D ⋮ Proof Relevant Corecursive Resolution ⋮ Formal polytypic programs and proofs ⋮ Scala for generic programmers ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Uses Software

• Haskell
• GHC
• Polyp

Cites Work

• Manufacturing datatypes
• Functorial ML
• Purely Functional Data Structures
• Qualified Types
• Generic functional programming with types and relations
• Implicit parameters
• A new approach to generic functional programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Derivable Type Classes