Prototyping a query compiler using Coq

Martin Hirzel, Louis Mandel, et al.

SNAPL 2017

Toufique Ahmed, Jatin Ganhotra, et al.

ICML 2025

Martin Hirzel, Johannes Henkel, et al.

ACM SIGPLAN Notices

Louis Mandel, Cédric Pasteur, et al.

Science of Computer Programming