The ACM SIGPLAN
International Conference on Functional Programming

Affiliated Workshops

While there are no permanent affiliations between individual workshops and ICFP, a number of well-established workshops have regularly been affiliated with ICFP, including:

• Haskell Symposium
• Erlang Workshop
• Workshop on Scheme and Functional Programming
• Commercial Users of Functional Programming (CUFP)
• Workshop on ML
• Workshop on Mechanizing Metatheory (WMM)
• Workshop on Generic Programming (WGP)
• Functional and Declarative Programming in Education (FDPE)
• Functional Programming Developer Tracks (DEFUN)
• Programming Languages meets Program Verification (PLPV)
• MEchanized Reasoning about Languages with varIable biNding (MERLIN)
• Workshop on Curry and Functional Logic Programming
• Workshop on Approaches and Applications of Inductive Programming

• Home
• ICFP 2013
• Organisation
• History
• Affiliated events
• Programming Contest
• Related events
• Links