Types and Programming Languages /

Un sistema de tipos es un método para la detección automática de la ausencia de ciertos comportamientos erróneos cuando se clasifican las frases de un programa de acuerdo a los valores que computan. En esta obra se ofrece una introducción pragmática y operativa a la teoría de los sistemas de tipos y...

पूर्ण विवरण

ग्रंथसूची विवरण

मुख्य लेखक:	Pierce, Benjamin C. (autor)
स्वरूप:	पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Cambridge, EUA : Massachusetts Institute of Technology, 2002, c2002
विषय:	Compiladores (Software) Lenguajes de Programación - > Teoría Programación Orientada a Objetos Programación (Software) Desarrollo de Sistemas Sistemas Computacionales Ingeniería de Software Ingeniería Computacional
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!