Instance chains: type class programming without overlapping instances.

J. Garrett Morris Mark P. Jones

Published in: ICFP (2010)

Keyphrases

instance space
single class
programming language
programming environment
object instances
randomly generated
machine learning
optimal solution
search algorithm
general purpose
sat instances