Type equivalence in strongly typed languages: one more look.

Daniel M. Berry Richard L. Schwartz

Published in: ACM SIGPLAN Notices (1979)

Keyphrases

strongly typed
programming language
language independent
data sets
machine learning
database
real time
search engine
high level
search algorithm
general purpose
expressive power
grammatical inference
language identification