One down, 699 to go: or, synthesising compositional desugarings.

Sándor Bartha James Cheney Vaishak Belle

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

Keyphrases

database
dynamic environments
semi automatic
data mining
lower bound
object oriented
integrity constraints
query answering