PROGRAM-ing finger trees in Coq (2007)

Cached

Download Links

by Matthieu Sozeau
Venue:In ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery
Citations:12 - 0 self