A certified implementation of ML with structural polymorphism and recursive types.

Jacques Garrigue

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

structural information
information systems
implementation details
database
decision making
image processing
website
similarity measure
multiscale
data model
efficient implementation
structural analysis