Program-ing Finger Trees in Coq (2007) (via calvin) — discussion

#pdf #plt