comparemela.com
Home
Live Updates
A Taste of Coq and Correct Code by Construction : comparemela.com
A Taste of Coq and Correct Code by Construction
People call us developers, architects, or even worse, engineers — as if we are calculating structural integrity before we start building. We are just playing with wooden blocks, and suddenly someone…
Related Keywords
France ,
French ,
Thierry Coquand ,
Walter Schulze ,
Software Engineers ,
Microsoft ,
Software Toddlers ,
Correct Code ,
Coq Proof ,
Stack Overflow ,
Search Tree ,
Binary Search Tree ,
Binary Search ,
Tree Node ,
Wreck It Ralph ,
Proof Assistant ,
Node Nil ,
Little Typer ,
Certified Programming ,
Dependent Types ,
Inductive Constructions ,
comparemela.com © 2020. All Rights Reserved.