Open and closed scopes for constrained genericity

DOI10.1016/S0304-3975(01)00129-3MaRDI QIDQ1606127zbMATH OpenFDO

Authors Dominic Duggan, John Ophel

Publication date 31 July 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

type classesconstrained genericitydynamic type dispatchrefinement kinds

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A new approach to generic functional programming
• Associated types with class
• Modular type classes
• Instance chains: type class programming without overlapping instances
• Closed type families with overlapping equations

Cites work

• scientific article; zbMATH DE number 1479609 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Deciding type equivalence in a language with singleton kinds
• Dynamic typing in polymorphic languages
• Flexible type analysis
• Inheritance as implicit coercion
• Kinded type inference for parametric overloading
• Type Reconstruction for Type Classes

Describes a project that uses

Uses Software

• TIL
• Eiffel
• Haskell
• Ada95
• ML

This page was built for publication: Open and closed scopes for constrained genericity

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