Program-ing finger trees in coq (2007)

by Matthieu Sozeau
Venue:In Proc. ICFP