A type system for certified binaries.

Zhong Shao Bratin Saha Valery Trifonov Nikolaos Papaspyrou

Published in: POPL (2002)

Keyphrases

real time
databases
machine learning
information retrieval
image processing
website
probability distribution