Refinement Types as Proof Irrelevance.

William Lovas Frank Pfenning

Published in: TLCA (2009)

Keyphrases

feature selection
website
desirable properties
theorem prover
theorem proving
database
data model
special case