Fun with type functions

DOI10.1007/978-1-84882-912-1_14MaRDI QIDQ3163410zbMATH OpenOpenAlexFDO

Authors Oleg Kiselyov, Chung-Chieh Shan, Simon Peyton-Jones

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_14

zbMATH Keywords

during type checking

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Type checking with open type functions
• Closed type families with overlapping equations
• A type-preserving compiler in Haskell
• Haskell type constraints unleashed
• Associated type synonyms

Cited in

(10)

• Session types without sophistry. System description
• Proving properties about functions on lists involving element tests
• Fighting bit rot with types (Experience report: Scala collections)
• Associated type synonyms
• Faking it Simulating dependent types in Haskell
• Haskell type constraints unleashed
• Type checking with open type functions
• A type-preserving compiler in Haskell
• Associated types with class
• Closed type families with overlapping equations

This page was built for publication: Fun with type functions

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