Cargando…

Practical foundations for programming languages /

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper inste...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Harper, Robert, 1957-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, UK ; New York : Cambridge University Press, 2013.
Temas:
Acceso en línea:Texto completo