Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Prototyping a query compiler using Coq (experience report)
ICFP, 2017.
@article{ICFP-2017-AuerbachHMSS,
author = "Joshua S. Auerbach and Martin Hirzel and Louis Mandel and Avraham Shinnar and Jérôme Siméon",
doi = "10.1145/3110253",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "15",
title = "{Prototyping a query compiler using Coq (experience report)}",
volume = 1,
year = 2017,
}