Salta al contenido principal
Panel lateral
Enlaces de interés
FING
Bedelia
SGAE
OpenFing
Noticias
Redes sociales
Orientacion y consulta
Convivencia
Cursos
Institutos
Tecnólogos
Posgrados
Extensión
Institucional
Más
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
En este momento está usando el acceso para invitados
Acceder
Página Principal
Abrir índice del curso
Institutos
PFA
Cálculo Lambda
Cálculo lambda tipado
Cálculo lambda tipado
Cálculo lambda tipado
Haga clic en
systemF.pdf
para ver el archivo.
◄ Cálculo Lambda puro
Ir a...
Ir a...
Novedades
General
Encuesta de opinión estudiantil del curso semestre 2 de 2023
Encuesta DOCENTE semestre 2 de 2023 ALBERTO PARDO
Encuesta DOCENTE semestre 2 de 2023 MARCOS VIERA
Encuesta DOCENTE semestre 2 de 2023 MONICA MARTINEZ
Introducción - Organización del Curso
Paper: Why Functional Programming Matters
Charla: Why Functional Programming Matters
Ambiente Haskell
Video: Ambiente Haskell 2023
Paper: QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
Correccíón y Testing
Paper: Haskell Program Coverage
HPC
Video: Testing y HPC
Lectura: Profiling
Profiling
Ejemplo de Fusión
Código stream fusion
ByteString
Stream Fusion: From Lists to Streams to Nothing at All
Rewriting Haskell Strings
Lectura: Finger Tree
Lectura: Finger Tree - Slightly Simplified
FingerTree
Video: Finger Tree
Código: FingerTrees.hs
Código: FingerTreesSimplified.hs
EDSLs
Lectura: FP for DSLs
Ejemplos de EDSLs
Parsing
Mónadas y Parsers monádicos
Código State monad
Código List monad
Código parsers monádicos
Monads for functional programming
Monadic Parsing in Haskell
Functores Aplicativos
Código Evaluadores en forma aplicativa
Artículo: Applicative programming with effects
Functors, Applicative Functors and Monoids
Transformadores de mónadas
Código: definición y uso de StateT
Código: evaluador de expresiones
Código composición de functores y functores aplicativos
Monad Transformers
Cálculo Lambda puro
Lecture Notes on the Lambda Calculus (Peter Selinger)
GADTs
código sobre GADTs
Artículo: First-Class Phantom Types
Type Classes
A theory of qualified types (Jones 92)
Type Families
Giving Haskell a Promotion
Formulario de inscripción Programación Funcional Avanzada (Posgrado)
Formulario de evaluación Programación Funcional Avanzada (Posgrado)
Lecture Notes on the Lambda Calculus (Peter Selinger) ►