Type Specialization for Imperative Languages.

Dirk Dussart John Hughes Peter Thiemann

Published in: ICFP (1997)

Keyphrases

expressive power
databases
language identification
multi lingual
database systems
artificial neural networks
text summarization
grammatical inference
type checking
computer vision
information systems
decision making
image processing
high level
information extraction