One Down, 699 to Go: or, synthesising compositional desugarings.

Sándor Bartha James Cheney Vaishak Belle

Published in: CoRR (2021)

Keyphrases

multi dimensional
dynamic environments
objective function
data analysis
upper bound
optimal solution
lower bound