Modular type classes

DOI10.1145/1190216.1190229MaRDI QIDQ3189786zbMATH OpenOpenAlexFDO

Authors Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller

Publication date 12 September 2014

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

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

zbMATH Keywords

modulestype systemstype inferencetype classes

Mathematics Subject Classification ID

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

Recommendations

• Types for modules
• Module types
• Classes of Modules
• scientific article; zbMATH DE number 493069
• Modular properties of algebraic type systems
• Modular statically typed multimethods
• Publication:4721631
• Modular categories
• scientific article; zbMATH DE number 19502
• Computer Science Logic

Cited in

(18)

• COCHIS: stable and coherent implicits
• Associated types with class
• Backpack, retrofitting Haskell with interfaces
• Modules with regular generic types part iv
• 1ML -- core and modules united
• Adaptation in HOT languages comparing polymorphism, modules, and objects
• Instance chains: type class programming without overlapping instances
• Generic unification via two-level types and parameterized modules
• A modular module system
• Two-level types and parameterized modules
• Open and closed scopes for constrained genericity
• scientific article; zbMATH DE number 19502 (Why is no real title available?)
• Type classes for lightweight substructural types
• On the bright side of type classes: instance arguments in Agda
• Modular typechecking for hierarchically extensible datatypes and functions
• A language for generic programming in the large
• scientific article; zbMATH DE number 1728247 (Why is no real title available?)
• First-Class Type Classes

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Modular type classes

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