TypEr: a type annotator of Erlang code.

Tobias Lindahl Konstantinos Sagonas

Published in: Erlang Workshop (2005)

Keyphrases

source code
machine learning
data sets
databases
genetic algorithm
case study
three dimensional
multiscale
search algorithm
multiple types
single server