Finitary polymorphism for optimizing type-directed compilation.

Atsushi Ohori Katsuhiro Ueno Hisayuki Mima

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

finite state
real world
artificial intelligence
computer vision
image segmentation
face recognition
multi agent
learning environment
support vector
evolutionary algorithm
probability distribution
answer set programming