Closed types for a safe imperative MetaML.

Cristiano Calcagno Eugenio Moggi Tim Sheard

Published in: J. Funct. Program. (2003)

Keyphrases

three dimensional
real time
image processing
multiscale