Associated types with class

DOI10.1145/1040305.1040306MaRDI QIDQ5276128zbMATH OpenOpenAlexFDO

Authors Manuel M. T. Chakravarty, Gabriele Keller, Simon Marlow, Simon Peyton-Jones

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

associated typestype classestype-directed translationself-optimising librariestype-indexed types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Associated type synonyms
• Modular type classes
• Instance chains: type class programming without overlapping instances
• Derivable type classes
• Fun with type functions

Cited in

(15)

• A language for generic programming in the large
• Open and closed scopes for constrained genericity
• Safe zero-cost coercions for Haskell
• Constructing language processors with algebra combinators
• Programming with C++ concepts
• A lightweight approach to datatype-generic rewriting
• Taming the merge operator
• First-Class Type Classes
• COCHIS: stable and coherent implicits
• How to prove decidability of equational theories with second-order computation analyser SOL
• Associated type synonyms
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)
• A Compilation Method for Dynamic Typing in ML
• Type-safe code transformations in Haskell
• Skeleton composition versus stable process systems in Eden

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Associated types with class

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