A visualisation of polymorphic type checking.

Yang Jung Greg Michaelson

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

Keyphrases

type checking
data types
database query languages
query processor
object model
abstract data types
relational calculus
database systems
multi dimensional
user defined