Associated types with class

DOI10.1145/1040305.1040306zbMATH Open1369.68089OpenAlexW2168938117MaRDI QIDQ5276128FDOQ5276128

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

Recommendations

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

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)

Cited In (14)

• A language for generic programming in the large
• Taming the Merge Operator
• Open and closed scopes for constrained genericity
• Safe zero-cost coercions for Haskell
• COCHIS: Stable and coherent implicits
• A lightweight approach to datatype-generic rewriting
• Constructing language processors with algebra combinators
• Programming with C++ concepts
• First-Class Type Classes
• How to prove decidability of equational theories with second-order computation analyser SOL
• Title not available (Why is that?)
• A Compilation Method for Dynamic Typing in ML
• Skeleton composition versus stable process systems in Eden
• Type-safe code transformations in Haskell

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)