ACM SIGPLAN Международная конференция по функциональному программированию ( МКВП ) является ежегодной научной конференцией в области компьютерной науки под эгидой ACM SIGPLAN , в связи с МФОЙ рабочей группы 2.8 (функциональным программированием). Конференция посвящена функциональному программированию и смежным областям языков программирования , логике , компиляторам и разработке программного обеспечения .
ICFP впервые был проведен в 1996 году, заменив собой две проводимые раз в два года конференции: « Функциональное программирование и компьютерная архитектура» ( FPCA ) и « LISP и функциональное программирование» ( LFP ). Место проведения конференции чередуется между Европой (нечетные годы) и Северной Америкой (четные годы) [ необходима ссылка ] . Конференция обычно длится 3 дня и окружена семинарами, посвященными определенным функциональным языкам или прикладным областям.
ICFP также проводит открытые ежегодные соревнования по программированию с 1998 года, которые называются ICFP Programming Contest .
История [ править ]
- 2012: 17-я Международная конференция ACM SIGPLAN по функциональному программированию в Копенгагене , Дания (главный председатель: Питер Тиманн , Фрайбургский университет ; руководитель программы: Робби Финдлер , Северо-Западный университет )
Связанные мероприятия [ править ]
- Коммерческие пользователи функционального программирования (CUFP)
- Мастерская Erlang
- Симпозиум Haskell
- Функциональное и декларативное программирование в образовании (FDPE)
- Треки разработчика функционального программирования (DEFUN)
- Механизированные рассуждения о языках с переменным биндингом (MERLIN)
- Практикум по подходам и приложениям индуктивного программирования
- Практикум по карри и программированию функциональной логики
- Семинар по общему программированию (WGP)
- Семинар по механизации метатеории (WMM)
- Мастер-класс по ML
- Практикум по схемному и функциональному программированию
- Языки программирования соответствуют требованиям Program Verification (PLPV) - только 2007, теперь связаны с POPL
См. Также [ править ]
- Связанные конференции
- FLOPS: Международный симпозиум по функциональному и логическому программированию
- IFL: Международные симпозиумы по реализации и применению функциональных языков
- ISMM: Международный симпозиум по управлению памятью
- MPC: Международная конференция по математике построения программ
- PLDI: Разработка и реализация языков программирования
- POPL: принципы языков программирования
- PPDP: Международная конференция по принципам и практике декларативного программирования
- TFP: симпозиум по тенденциям в функциональном программировании
- TLCA: Международная конференция по типизированным лямбда-исчислениям и приложениям
- TLDI: международный семинар по типам в языковом дизайне и реализации
- SAS: Международный симпозиум по статическому анализу
- Связанные журналы
- Журнал функционального программирования
- Журнал функционального и логического программирования
- Вычисление высшего порядка и символическое вычисление
- Транзакции ACM по языкам и системам программирования
Внешние ссылки [ править ]
- Главный сайт ICFP
- Конференция ICFP 2008
- Конференция ICFP 2007
- Конференция ICFP 2006
- Соревнование по программированию ICFP
- Конференция по функциональному программированию
