A Calculus for Overloaded Functions with Subtyping.

Giuseppe Castagna Giorgio Ghelli Giuseppe Longo

Published in: LISP and Functional Programming (1992)

Keyphrases

three dimensional
data sets
case study
database systems
objective function
digital libraries