Geben Sie Ihre E-Mail-Adresse ein und wir informieren Sie, sobald das Produkt verfügbar ist.
Sichere Zahlung
BuchdetailsTapa blanda
Verlag
MIT Press
Seiten
101
Sprache
en
Autor
Robin Milner, Mads Tofte, Robert Harper
Beschreibung
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.
JulIA, deine virtuelle BibliothekarinEmpfiehlt dir deine nächste großartige Lektüre