Automatically Introducing Tail Recursion in CakeML.

Oskar Abrahamsson Magnus O. Myreen

Published in: TFP (2017)

Keyphrases

databases
decision trees
data mining
user defined
deductive databases
neural network
real world
image processing
high level
wide range
hidden markov models
automatically generated
semi automatically