Advanced Search
Now showing items 41-50 of 645
Gradual Certified Programming in Coq
(Assoc Computing Machinery, 2016)
Order-Invariant Types and their Applications
(Tech Univ Braunschweig, 2016)
Now showing items 41-50 of 645