Compilation des langages fonctionnels dans les combinateurs cat'egoriques. Application au langage ML (1985)

by M Mauny