A

Adam Chlipala

2 books found

Books by Adam Chlipala
Certified Programming with Dependent TypesAdam Chlipala
⏱ 7h 20m

Certified Programming with Dependent Types

Adam Chlipala

2013440 pp.
Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-Languages, Theory and PracticeAdam Chlipala

Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-Languages, Theory and Practice

Adam Chlipala

2012No page data