Type Soundness and Race Freedom for Mezzo.

Thibaut Balabonski François Pottier Jonathan Protzenko

Published in: FLOPS (2014)

Keyphrases

case study
real time
information systems
training data
multiscale
objective function