Login / Signup

Prototyping a query compiler using Coq (experience report).

Joshua S. AuerbachMartin HirzelLouis MandelAvraham ShinnarJérôme Siméon
Published in: Proc. ACM Program. Lang. (2017)
Keyphrases