Login / Signup
Samuel Duchovni
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Design Space
Theorem Proving
Databases
Knowledge Based Systems
Top Venues
SNAPL
</>
Publications
</>
Adam Chlipala
,
Benjamin Delaware
,
Samuel Duchovni
,
Jason Gross
,
Clément Pit-Claudel
,
Sorawit Suriyakarn
,
Peng Wang
,
Katherine Ye
The End of History? Using a Proof Assistant to Replace Language Design with Library Design.
SNAPL
(2017)