The essence of compiling with traces.

Shu-yu Guo Jens Palsberg

Published in: POPL (2011)

Keyphrases

case study
search algorithm
real world
website
association rules
probabilistic model
simulated annealing
distributed systems