thèse - Gallium, Inria

We propose a type system MLF that generalizes ML with first-class polymorphism as in System ..... is complete, which means that no type annotation is needed in the program, and all ...... Livre XI, Eléments de Mathématique, Algèbre, Chap 4:.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A