An Extended Polymorphic Type System for Applicative Languages.

Published in: MFCS (1980)

Keyphrases

type checking
expressive power
object oriented languages
database query languages
real time
information retrieval
genetic algorithm
feature selection
artificial neural networks
data types
query processor