The ACM SIGPLAN
International Conference on Functional Programming
Past and Current ICFP Conferences
-
2013
International Conference on Functional Programming
(ICFP 2013)
- Boston, Massachusetts; September 25 – 27, 2013
- General Chair: Greg Morrisett; Program Chair: Tarmo Uustalu
-
2012
International Conference on Functional Programming
(ICFP 2012)
- Copenhagen, Denmark; September 9 – 15, 2012
- General Chair: Peter Thiemann; Program Chair: Robby Findler
-
2011
International Conference on Functional Programming
(ICFP 2011)
- Tokyo, Japan; September 19 - 21, 2011
- General co-Chairs: Manuel Chakravarty and Zhenjiang Hu; Program Chair: Olivier Danvy
-
2010
International Conference on Functional Programming
(ICFP 2010)
- Baltimore, Maryland; September 27 - 29, 2010
- General Chair: Paul Hudak; Program Chair: Stephanie Weirich
-
2009
International Conference on Functional Programming
(ICFP 2009)
- Edinburgh, United Kingdom; August 31 - September 2, 2009
- General Chair: Graham Hutton; Program Chair: Andrew Tolmach
-
2008
International Conference on Functional Programming
(ICFP 2008) (local
archive)
- Victoria, British Columbia, Canada; September 22-24, 2008
- General Chair: James Hook; Program Chair: Peter Thiemann
-
2007 International Conference on Functional
Programming (ICFP 2007)
- Freiburg, Germany; October 1-3, 2007
- General Chair: Ralf Hinze; Program Chair: Norman Ramsey
-
2006
International Conference on Functional Programming
(ICFP 2006) (local
archive)
- Portland, Oregon; September 18-20, 2006
- General Chair: John Reppy; Program Chair: Julia Lawall
-
2005
International Conference on Functional Programming
(ICFP 2005) (local
archive)
- Tallinn, Estonia; September 26-28, 2005
- General Chair: Oliver Danvy; Program Chair: Benjamin Pierce
-
2004
International Conference on Functional Programming
(ICFP 2004) (local
archive)
- Snowbird, Utah; September 19-22, 2004
- General Chair: Chris Okasaki; Program Chair: Kathleen Fisher
-
2003 International Conference on Functional
Programming (ICFP 2003)
- Uppsala, Sweden; August 25-29, 2003
- General Chair: Colin Runciman; Program Chair: Olin Shivers
-
2002
International Conference on Functional Programming
(ICFP 2002) (local
archive)
- Pittsburgh, Pennsylvania; October 4-6, 2002
- General Chair: Mitchell Wand; Program Chair: Simon Peyton Jones
-
2001
International Conference on Functional Programming
(ICFP 2001) (local
archive)
- Florence, Italy; September 3-5, 2001
- General Chair: Benjamin Pierce; Program Chair: Xavier Leroy
-
2000
International Conference on Functional Programming
(ICFP 2000)
- Montreal, Canada; September 18-20, 2000
- General Chair: Martin Odersky; Program Chair: Phil Wadler
- Most Influential Paper (announced at ICFP 2010): QuickCheck: a lightweight tool for random testing of Haskell programs, Koen Claessen and John Hughes
-
1999
International Conference on Functional Programming
(ICFP 1999) (local
archive)
- Paris, France; September 27-29, 1999
- General Chair: Didier Remy; Program Chair: Peter Lee
- Most Influential Paper (announced at ICFP 2009): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace and Colin Runciman
-
1998
International Conference on Functional Programming
(ICFP 1998) (external link)
- Baltimore, Maryland; September 26-29, 1998
- General Chair: Matthias Felleisen; Program Chair: Paul Hudak/Christian Queinnec
- Most Influential Paper (announced at ICFP 2008): Cayenne — a language with dependent types, Lennart Augustsson
-
1997 International Conference on Functional
Programming (ICFP 1997) (local
archive)
- Amsterdam, Netherlands; June 9-11, 1997
- General Chair: Simon Peyton Jones; Program Chair: Mads Tofte
- Most Influential Paper (announced at ICFP 2007): Functional reactive animation, Conal Elliott and Paul Hudak
-
1996
International Conference on Functional Programming
(ICFP 1996) (local
archive)
- Philadelphia, Pennsylvania; May 24-26, 1996
- General Chair: Robert Harper; Program Chair: R. Kent Dybvig
- Most Influential Paper (announced at ICFP 2007): Optimality and inefficiency: What isn't a cost model of the lambda calculus?, Julia Lawall and Harry Mairson
