Stateful Contracts for Affine Types.

Jesse A. Tov Riccardo Pucella

Published in: ESOP (2010)

Keyphrases

real time
neural network
three dimensional
medical images
point correspondences
publish subscribe