Международная конференция по функциональному программированию - International Conference on Functional Programming

В ACM СИГПЛАН Международная конференция по функциональному программированию (ICFP) является ежегодным научная конференция в области Информатика спонсируется ACM СИГПЛАН, в связи с ИФИП Рабочая группа 2.8 (Функциональное программирование). Конференция фокусируется на функциональное программирование и смежные области языки программирования, логика, компиляторы и разработка программного обеспечения.

ICFP впервые был проведен в 1996 году, заменив собой две проводимые раз в два года конференции: Функциональное программирование и компьютерная архитектура (FPCA) и LISP и функциональное программирование (LFP). Место проведения конференции чередуется между Европой (нечетные годы) и Северной Америкой (четные годы).^{[нужна цитата ]}. Конференция обычно длится 3 дня и окружена семинарами, посвященными определенным функциональным языкам или прикладным областям.

ICFP также проводит с 1998 года открытые ежегодные соревнования по программированию. Соревнование по программированию ICFP.

История

• 2012: 17-я Международная конференция ACM SIGPLAN по функциональному программированию в г. Копенгаген, Дания (Генеральный председатель: Питер Тиманн, Фрайбургский университет; Председатель программы: Робби Финдлер, Северо-Западный университет )

Аффилированные мероприятия

• Коммерческие пользователи функционального программирования (CUFP)
• Мастерская Erlang
• Симпозиум Haskell
• Функциональное и декларативное программирование в образовании (FDPE)
• Треки разработчика функционального программирования (DEFUN)
• Механизированные рассуждения о языках с изменяемым биндингом (MERLIN)
• Практикум по подходам и приложениям индуктивного программирования
• Практикум по карри и программированию функциональной логики
• Семинар по общему программированию (WGP)
• Семинар по механизации метатеории (WMM)
• Мастер-класс по ML
• Практикум по схемному и функциональному программированию
• Языки программирования соответствуют требованиям Program Verification (PLPV) - только 2007, теперь связаны с POPL

Смотрите также

Связанные конференции

• ФЛОПЫ: Международный симпозиум по функциональному и логическому программированию
• IFL: Международные симпозиумы по реализации и применению функциональных языков
• ISMM: Международный симпозиум по управлению памятью
• ПДК: Международная конференция по математике построения программ
• PLDI: Разработка и реализация языков программирования
• POPL: Принципы языков программирования
• PPDP: Международная конференция по принципам и практике декларативного программирования
• TFP: Симпозиум по тенденциям в функциональном программировании
• TLCA: Международная конференция по типизированным лямбда-исчислениям и приложениям
• TLDI: Международный семинар по типам в языковом дизайне и реализации
• SAS: Международный симпозиум по статическому анализу

Связанные журналы

• Журнал функционального программирования
• Журнал функционального и логического программирования
• Вычисление высшего порядка и символическое вычисление
• Транзакции ACM по языкам и системам программирования

внешняя ссылка

• Главный сайт ICFP
• Конференция ICFP 2008
• Конференция ICFP 2007
• Конференция ICFP 2006
• Соревнование по программированию ICFP
• Конференция по функциональному программированию

Этот формальные методы -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.