Modeling abstract types in modules with open existential types.

Benoît Montagu Didier Rémy

Published in: POPL (2009)

Keyphrases

case study
information technology
data sets
neural network
real world
information systems
website
multiscale
wide range
modular structure