Type-Based Resource Analysis on Haskell.

Franz Siglmüller

Published in: DICE-FOPARA@ETAPS (2019)

Keyphrases

machine learning
e learning
data analysis
programming language
statistical analysis
data mining
genetic algorithm
information systems
knowledge base
decision trees
high level
multiscale
special case
general purpose
source code
resource management