MLF: Une extension de ML avec polymorphisme de second ordre et instanciation implicite (2004)

by D LE BOTLAN
Venue:Ph. D. Thesis, École Polytechnique