The implementation of the Mezzo type-checker.

Jonathan Protzenko

Published in: IFL (2013)

Keyphrases

cooperative
neural network
machine learning
image processing
database systems
efficient implementation
implementation details
data mining
objective function
data structure
evolutionary algorithm
scheduling problem