Associated type synonyms

DOI10.1145/1086365.1086397MaRDI QIDQ2936787zbMATH OpenOpenAlexFDO

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

Publication date 6 January 2015

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

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

zbMATH Keywords

associated typesgeneric programmingtype classestype functionstype inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Associated types with class
• Fun with type functions
• Faking it Simulating dependent types in Haskell
• Closed type families with overlapping equations
• Type checking with open type functions

Cited in

(16)

• Visible type application
• Language-based program verification via expressive types
• Faking it Simulating dependent types in Haskell
• Fun with type functions
• \textsc{OutsideIn(X)}: modular type inference with local assumptions
• COCHIS: stable and coherent implicits
• Taming the merge operator
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)
• How to prove decidability of equational theories with second-order computation analyser SOL
• Algebraic specialization of generic functions for recursive types
• Associated types with class
• A language for generic programming in the large
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Safe zero-cost coercions for Haskell
• Closed type families with overlapping equations
• Programming with C++ concepts

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Associated type synonyms

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