28. Lenguajes de programación y sistemas de tipos

Presenta sintaxis, semántica, sistemas de tipos, gestión de memoria, polimorfismo y modelos de ejecución. Permite comparar lenguajes por las garantías y compromisos que ofrecen, no solo por su sintaxis.