Phantom types and subtyping.

Matthew Fluet Riccardo Pucella

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

Keyphrases

three dimensional
neural network
e learning
wide range
mobile devices
databases
image processing
preprocessing
evolutionary algorithm
surgical navigation