Digite seu e-mail e nós avisaremos quando o produto estiver disponível.
Pagamento seguro
Detalhes do livroTapa blanda
Editora
MIT Press
Páginas
101
Idioma
en
Autor
Robin Milner, Mads Tofte, Robert Harper
Descrição
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, sua bibliotecária virtualRecomenda sua próxima grande leitura