Extending the Type Checker of Standard ML by Polymorphic Recursion.

Martin Emms Hans Leiß

Published in: Theor. Comput. Sci. (1999)

Keyphrases

maximum likelihood
type checking
databases
cooperative
database
real time
computer vision
image processing
web services
special case
logic programming
data types
complex objects