Международная конференция по функциональному программированию
Международная конференция по функциональному программированию ( ICFP ) — ежегодная научная конференция в области информатики , спонсируемая ACM SIGPLAN совместно с Рабочей группой 2.8 IFIP (Функциональное программирование). Конференция посвящена функциональному программированию и смежным областям языков программирования , логике , компиляторам и разработке программного обеспечения . [1]
ICFP впервые был проведен в 1996 году, заменив две конференции, проводившиеся раз в два года: « Функциональное программирование и компьютерная архитектура» ( FPCA ) и «LISP и функциональное программирование» ( LFP ). Место проведения конференции чередуется между Европой и Северной Америкой, с периодическими выступлениями на других континентах. [2] Конференция обычно длится 3 дня и сопровождается семинарами, посвященными конкретным функциональным языкам или областям их применения.
ICFP также проводит открытые ежегодные соревнования по программированию с 1998 года, называемые 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) .
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
