Program and proof optimizations with type systems.

Ando Saabas Tarmo Uustalu

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

intelligent systems
distributed systems
building blocks
biometric systems
data sets
artificial intelligence
computer science
management system
embedded systems