Outline of an Object-Oriented Calculus of Higher Type (Abstract).

Hassan Aït-Kaci

Published in: ALP (1992)

Keyphrases

object oriented
data sets
higher level
type checking
artificial intelligence
web services
high level
image sequences
bayesian networks
low level