Dependent Types for Low-Level Programming.

Jeremy Condit Matthew Harren Zachary R. Anderson David Gay George C. Necula

Published in: ESOP (2007)

Keyphrases

low level
high level
programming language
higher level
neural network
low level features
development environment
databases
hidden markov models
visual features
operating system