Hispanopedia WikiLa Conferencia Internacional sobre Programación Funcional ( ICFP ) es una conferencia académica anual en el campo de la informática patrocinada por la ACM SIGPLAN , en asociación con el Grupo de Trabajo 2.8 (Programación Funcional) de la IFIP . La conferencia se centra en la programación funcional y áreas relacionadas de lenguajes de programación , lógica , compiladores y desarrollo de software . [1]
La ICFP se celebró por primera vez en 1996, en sustitución de dos conferencias bienales: la de Programación Funcional y Arquitectura de Computadores ( FPCA ) y la de LISP y Programación Funcional ( LFP ). La ubicación de la conferencia se alterna entre Europa y América del Norte, con apariciones ocasionales en otros continentes. [2] La conferencia suele durar 3 días, rodeada de talleres co-ubicados dedicados a lenguajes funcionales o áreas de aplicación particulares.
El ICFP también ha celebrado un concurso anual de programación abierto desde 1998, llamado Concurso de Programación del ICFP .
Historia
- 2012: 17.ª Conferencia internacional ACM SIGPLAN sobre programación funcional en Copenhague , Dinamarca (Presidente general: Peter Thiemann, Universidad de Friburgo ; Presidente del programa: Robby Findler , Universidad Northwestern )
Véase también
- Conferencias relacionadas
- FSCD: Conferencia internacional sobre estructuras formales para computación y 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 Construcción de Programas
- PLDI: Diseño e implementación de lenguajes de programación
- POPL: Principios de los lenguajes de programación
- PPDP: Conferencia Internacional sobre Principios y Prácticas de Programación Declarativa
- TFP: Simposio sobre tendencias en programación funcional
- TLCA: Conferencia internacional sobre cálculos lambda tipificados y aplicaciones
- TLDI: Taller internacional sobre tipos en el diseño e 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 simbólica y de orden superior
- Transacciones ACM sobre lenguajes y sistemas de programación
Referencias
- ^ "La Conferencia Internacional ACM SIGPLAN sobre Programación Funcional".
- ^ Comité Directivo del ICFP (2019). "El funcionamiento del ICFP" (PDF) .
Enlaces externos
- Sitio principal del ICFP
- Conferencia ICFP 2023
- Concurso de programación ICFP
