Login / Signup
The End of History? Using a Proof Assistant to Replace Language Design with Library Design.
Adam Chlipala
Benjamin Delaware
Samuel Duchovni
Jason Gross
Clément Pit-Claudel
Sorawit Suriyakarn
Peng Wang
Katherine Ye
Published in:
SNAPL (2017)
Keyphrases
</>
case study
design process
databases
machine learning
test bed
multiscale
design space
database
theorem proving
conceptual framework
language learning
computer aided
power consumption
building blocks
knowledge based systems
natural language
decision trees
website
information systems
real world