Using Dependent Types to Port Type Systems to Low-Level Languages.

George C. Necula

Published in: CC (2006)

Keyphrases

low level
intelligent systems
high level
database
special features
knowledge representation
learning systems
distributed systems
language identification
lower level
cross lingual
complex systems
building blocks
higher level
management system
multimedia
information systems
learning algorithm
databases
real time