The 12th ACM SIGPLAN International Conference on Functional Programming
ICFP 2007
Freiburg, Germany, 1-3 October 2007
Co-located with IFL 2007 (September 27-29, 2007)
Freiburg Münster
(© Freiburg Wirtschaft Touristik und Messe
GmbH & Co. KG / Foto: Karl-Heinz Raach)
ICFP 2007 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.
ICFP 2007 features the following related workshops:
- ACM SIGPLAN Haskell workshop (30 Sept. 2007)
- ACM SIGPLAN Scheme and Functional Programming (30 Sept. 2007)
- ACM SIGPLAN Commercial Users of Functional Programming (4 Oct. 2007)
- ACM SIGPLAN Workshop on Mechanizing Metatheory (4 Oct. 2007)
- ACM SIGPLAN Erlang Workshop (5. Oct)
- ACM SIGPLAN Workshop on ML (5. Oct)
- ACM SIGPLAN Programming Languages meets Program Verification (5 Oct. 2007)