International Conference on Functional Programming - Enciclopedia
La Conferencia Internacional sobre Programación Funcional (ICFP) es una conferencia académica anual en el campo de la informática auspiciada por el ACM SIGPLAN, en asociación con el Grupo de Trabajo 2.8 de IFIP (Programación Funcional). La conferencia se centra en la programación funcional y áreas relacionadas de lenguajes de programación, lógica, compiladores y desarrollo de software.
La ICFP se celebró por primera vez en 1996, sustituyendo a dos conferencias bianuales: la Conferencia sobre Programación Funcional y Arquitectura de Computadoras (FPCA) y LISP y Programación Funcional (LFP). El lugar de celebración de la conferencia alternancia entre Europa y América del Norte, con apariciones ocasionales en otros continentes. La conferencia suele durar 3 días, rodeada de talleres colocalizados dedicados a lenguajes de programación funcionales o áreas de aplicación específicas.
La ICFP también ha organizado un concurso de programación anual abierto desde 1998, llamado el Concurso de Programación ICFP.
Historia
2012: 17ª Conferencia Internacional ACM SIGPLAN sobre Programación Funcional en Copenhague, Dinamarca (Presidente General: Peter Thiemann, Universidad de Freiburg; Presidente del programa: Robby Findler, Universidad Northwestern)
Ver también
Conferencias relacionadas
FSCD : Conferencia Internacional sobre Estructuras Formales para la Computación y la Deducción
FLOPS: Simposio Internacional sobre Programación Funcional y Lógica
IFL: Simposios Internacionales sobre Implementación y Aplicación de Lenguajes Funcionales
ISMM: Simposio Internacional sobre Gestión de la Memoria
MPC: Conferencia Internacional sobre Matemáticas de la Construcción de Programas
PLDI: Diseño e Implementación de Lenguajes de Programación
POPL: Principios de Lenguajes de Programación
PPDP: Conferencia Internacional sobre Principios y Práctica de Programación Declarativa
TFP: Simposio sobre Tendencias en Programación Funcional
TLCA: Conferencia Internacional sobre Calculadores Lambda Tipificados y Aplicaciones
TLDI: Taller Internacional sobre Tipos en Diseño y Implementación de Lenguajes
SAS: Simposio Internacional de Análisis Estático
Revistas relacionadas
Revista de Programación Funcional
Revista de Programación Funcional y Lógica
Computación de Orden Superior y Simbólica
Transacciones ACM sobre Lenguajes de Programación y Sistemas
Referencias
Enlaces externos
Sitio principal de ICFP
Conferencia ICFP 2023
Concurso de Programación ICFP