Browsing FAS Scholarly Articles by Keyword "Coq"
Now showing items 1-1 of 1
-
Compositional Computational Reflection
(Springer Science + Business Media, 2014)Current work on computational reflection is single-minded; each reflective procedure is written with a specific application or scope in mind. Composition of these reflective procedures is done by a proof- generating tactic ...