The little MLer - Felleisen, Matthias; Friedman, Daniel P. (MIT Press, 1998)
Keywords: Langages de programmation; ML (langage de programmation); ML; Ordinateurs - Programmation; Técnicas de programação; Verificação e validação de software; langage programmation; ML (Computer program language)