Open and closed scopes for constrained genericity

DOI10.1016/S0304-3975(01)00129-3zbMath1026.68016MaRDI QIDQ1606127

John Ophel, Dominic Duggan

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)

Uses Software

• Haskell
• Eiffel
• TIL
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Inheritance as implicit coercion
• Kinded type inference for parametric overloading
• Flexible type analysis
• Dynamic typing in polymorphic languages
• Type Reconstruction for Type Classes
• Deciding type equivalence in a language with singleton kinds
• A Machine-Oriented Logic Based on the Resolution Principle

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