Publication
JFLA 2017
Conference paper

Prototyping a query compiler using Coq

Abstract

No abstract available

Date

04 Jan 2017

Publication

JFLA 2017

Authors

Share