Polymorphic typed defunctionalization and concretization.

François Pottier Nadji Gauthier

Published in: High. Order Symb. Comput. (2006)

Keyphrases

higher order
lambda calculus
object oriented languages
artificial intelligence
static analysis
data sets
reinforcement learning
evolutionary algorithm
object oriented
fixed order