Introduction to PAF!, a proof assistant for ml programs verification (2003)

by S Baro
Venue:In TYPES