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

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

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

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

История

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

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

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

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

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