CCT CORDOBA - CENTRO CIENTIFICO TECNOLOGICO CONICET - CORDOBA

Palabras Claves: programación funcional sistemas de tipos desarrollo de software
Título
Seminario sobre: “El sistema de tipos de Haskell/GHC y sus extensiones” (ST 3628)
Detalle STAN
Este seminario propone un recorrido a través de las extensiones más conocidas del sistema de tipo del compilador GHC de Haskell: 1. El sistema de tipos de Haskell, clases de tipos, 2. FlexibleContexts, FlexibleInstances, 3. GADTs, Phantom Types, 4. RankNPoly, DataKinds, 5. MultiParamTypeClasses, FunctionalDependencies, TypeFamilies.
Disciplina Primaria
Informática y Comunicaciones
Disciplina Desagregada
INFORMATICA-VARIAS