Международная конференция по функциональному программированию
Международная конференция по функциональному программированию ( ICFP ) — ежегодная академическая конференция в области компьютерных наук , спонсируемая ACM SIGPLAN совместно с рабочей группой IFIP 2.8 (функциональное программирование). Конференция фокусируется на функциональном программировании и смежных областях языков программирования , логики , компиляторов и разработки программного обеспечения . [1]
ICFP впервые была проведена в 1996 году, заменив две двухгодичные конференции: Функциональное программирование и архитектура компьютеров ( FPCA ) и LISP и функциональное программирование ( LFP ). Место проведения конференции попеременно между Европой и Северной Америкой, с редкими выступлениями на других континентах. [2] Конференция обычно длится 3 дня, окруженная совместными семинарами, посвященными конкретным функциональным языкам или областям применения.
С 1998 года ICFP также проводит открытый ежегодный конкурс по программированию, который называется ICFP Programming Contest .
История
- 2012: 17-я Международная конференция ACM SIGPLAN по функциональному программированию в Копенгагене , Дания (Главный председатель: Петер Тиманн, Фрайбургский университет ; Председатель программы: Робби Финдлер , Северо-Западный университет )
Смотрите также
- Связанные конференции
- FSCD: Международная конференция по формальным структурам для вычислений и дедукции
- FLOPS: Международный симпозиум по функциональному и логическому программированию
- IFL: Международные симпозиумы по внедрению и применению функциональных языков
- ISMM: Международный симпозиум по управлению памятью
- MPC: Международная конференция по математике построения программ
- PLDI: Разработка и реализация языка программирования
- POPL: Принципы языков программирования
- PPDP: Международная конференция по принципам и практике декларативного программирования
- TFP: Симпозиум по тенденциям в функциональном программировании
- TLCA: Международная конференция по типизированным лямбда-исчислениям и их приложениям
- TLDI: Международный семинар по типам в разработке и реализации языка
- SAS: Международный симпозиум по статическому анализу
- Похожие журналы
- Журнал функционального программирования
- Журнал функционального и логического программирования
- Вычисления высшего порядка и символьные вычисления
- Труды ACM по языкам и системам программирования
Ссылки
- ^ «Международная конференция ACM SIGPLAN по функциональному программированию».
- ^ Руководящий комитет ICFP (2019). «Функционирование ICFP» (PDF) .
Внешние ссылки
- Основной сайт ICFP
- Конференция ICFP 2023
- Конкурс программирования ICFP
