Modular type classes

DOI10.1145/1190216.1190229zbMATH Open1295.68061OpenAlexW4237270226MaRDI QIDQ3189786FDOQ3189786

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

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

zbMATH Keywords

modulestype systemstype inferencetype classes

Mathematics Subject Classification ID

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

Cited In (18)

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

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)