Implementing Certified Programming Language Tools Dependent Type Theory (2007)

Cached

Download Links

by Adam James Chlipala
Citations:1 - 0 self