Adam Chlipala
Autor(a) de Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
About the Author
Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.
Obras por Adam Chlipala
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (2013) 20 exemplares
Formal Reasoning About Programs 1 exemplar
Etiquetado
Conhecimento Comum
There is no Common Knowledge data for this author yet. You can help.
Membros
Estatísticas
- Obras
- 2
- Membros
- 21
- Popularidade
- #570,576
- Avaliação
- 4.0
- ISBN
- 4