2.13.14 PL/Sistemas de tipos

Temas:
Electivo

Objetivos de Aprendizaje:
Elective:

  1. Definir un sistema de tipo de forma precisa y en su composición [Usar]
  2. Para varias construcciones de tipo fundamental, identificar los valores que describen y las invariantes que hacen que se cumplan [Familiarizarse]
  3. Precisar las invariantes preservadas por un sistema de tipos seguro (sound type system) [Familiarizarse]
  4. Demostrar la seguridad de tipos para un lenguaje simple en términos de conservación y progreso teoremas [Usar]
  5. Implementar un algoritmo de inferencia de tipos basado en la unificación para un lenguaje básico [Usar]
  6. Explicar cómo la sobrecarga estática y algoritmos de resolución asociados influyen el comportamiento dinámico de los programas [Familiarizarse]



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM