국제 기능 프로그래밍 회의

International Conference on Functional Programming

ACM SIGPlan 국제 기능 프로그래밍 회의(ICFP)는 IFIP 워킹 그룹 2.8(기능 프로그래밍)과 연계하여 ACM SIGPlan이 후원하는 컴퓨터 과학 분야의 연례 학술 회의다.이 컨퍼런스는 기능 프로그래밍과 프로그래밍 언어, 논리, 컴파일러 및 소프트웨어 개발 관련 분야에 초점을 맞추고 있다.

ICFP는 1996년에 처음 열렸으며, 2년마다 열리는 2개의 회의를 대체했다.기능 프로그래밍 및 컴퓨터 아키텍처(FPCA), LISP 및 기능 프로그래밍(LFP)회의 장소는 유럽(이상 번호 연도)과 북미(짝수 연도)로 번갈아 나타난다.[citation needed]컨퍼런스는 보통 3일 동안 진행되며, 특정 기능 언어 또는 응용 분야에 대한 공동 배치 워크샵에 둘러싸여 있다.

ICFP는 1998년부터 매년 열린 프로그래밍 콘테스트(ICFP 프로그래밍 콘테스트)를 개최해 왔다.

역사

제휴 이벤트

  • 기능 프로그래밍(CUFP) 상용 사용자
  • 얼랑 워크샵
  • 하스켈 심포지엄
  • FDPE(Functional Programming in Education) 기능 및 선언적 프로그래밍
  • 기능 프로그래밍 개발자 트랙(DEFUN)
  • MERLIN(Mariable biNding)을 사용한 언어에 대한 MEchanized 추론
  • 유도 프로그래밍의 접근 방식과 적용에 관한 워크숍
  • 커리와 기능논리 프로그래밍에 관한 워크숍
  • 일반 프로그래밍 워크샵(WGP)
  • IMT2000 3GPP - 기계화 메타테고리 워크샵
  • ML 워크샵
  • 계획 및 기능 프로그래밍에 관한 워크숍
  • 프로그래밍 언어가 PLPV(프로그램 검증)를 충족함 — 2007년만 해당, 현재 POPL에 소속되어 있음

참고 항목

관련 회의
관련 저널

외부 링크


Stub icon

이 형식적인 방법 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.