The ACM SIGPLAN
International Conference on Functional Programming
Affiliated Events
A number of events have been affiliated with ICFP. The following list includes both currently affiliated events and those that have been affiliated in the past:
- Workshop on Approaches and Applications of Inductive Programming (AAIP)
- Commercial Users of Functional Programming (CUFP)
- Functional Programming Developer Tracks (DEFUN)
- Erlang Workshop
- Functional Art, Music, Modeling and Design (FARM)
- Functional and Declarative Programming in Education (FDPE)
- Workshop on Functional High-Performance Computing (FHPC)
- Haskell Symposium
- Haskell Implementors Workshop (HIW)
- Workshop on Higher-order Programming with Effects (HOPE)
- MEchanized Reasoning about Languages with varIable biNding (MERLIN)
- ML Family Workshop
- OCaml Workshop
- Programming Languages Mentoring Workshop (PLMW)
- Programming Languages meets Program Verification (PLPV)
- Scheme and Functional Programming Workshop
- Workshop on Type-Driven Development (TyDe)
- Workshop on Curry and Functional Logic Programming (WCFLP)
- Workshop on Generic Programming (WGP)
- Workshop on Mechanizing Metatheory (WMM)