Type-checking multi-parameter type classes.

Dominic Duggan John Ophel

Published in: J. Funct. Program. (2002)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
relational calculus
object model
database systems
data model