Foundations of path-dependent types.

Nada Amin Tiark Rompf Martin Odersky

Published in: OOPSLA (2014)

Keyphrases

artificial intelligence
lower bound
information technology
neural network
high level
objective function
multiresolution
special case
medical images
multiple types