Deciding Type Isomorphisms in a Type-Assignment Framework.

Roberto Di Cosmo

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

Keyphrases

databases
image processing
case study
three dimensional
conceptual framework
data sets
decision making
web services