Polymorphic typed defunctionalization.

François Pottier Nadji Gauthier

Published in: POPL (2004)

Keyphrases

higher order
lambda calculus
fixed order
probabilistic model
machine learning
data structure
multi agent systems
training set
evolutionary algorithm
object oriented
co occurrence