Conference paper

Prototyping a query compiler using Coq

Related