Synthesizing symmetric lenses.

Anders Miltner Solomon Maina Kathleen Fisher Benjamin C. Pierce David Walker Steve Zdancewic

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

Keyphrases

databases
rendezvous search
real time
bayesian networks
objective function
wide range
cooperative
computational complexity