Concepedia
Statistics
Publications
1
Citations
12
H-Index
Active since
2017
Publications per year
2017–2017
The End of History? Using a Proof Assistant to Replace Language Design with Library Design
Adam Chlipala, Benjamin Delaware, Samuel Duchovni et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 12 citations · Full text
1–1 of 1