The Definition of Standard ML

Description

Este libro presenta la definición formal del lenguaje de programación ML, incluyendo las reglas para la gramática y la semántica estática y dinámica. ML es el más desarrollado y prominente de un nuevo grupo de lenguajes de programación funcional. En la vanguardia de la informática teórica, ML encarna las ideas de tipado estático y polimorfismo, y también ha contribuido con una serie de ideas novedosas al diseño de lenguajes de programación.