Hygienic resugaring of compositional desugaring.

Justin Pombrio Shriram Krishnamurthi

Published in: ICFP (2015)

Keyphrases

integrity constraints
data analysis
data mining
artificial intelligence
computational complexity
user defined
pattern mining