|
|
|
The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a new annual conference combining the established LISP and Functional Programming (LFP) and Functional Programming and Computer Architecture (FPCA) conferences.
Peter Thiemann, Robby Bruce Findler (Eds.):
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012.
ACM 2012, ISBN 978-1-4503-1054-3
Contents 
Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy (Eds.):
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011.
ACM 2011, ISBN 978-1-4503-0865-6
Contents
Paul Hudak, Stephanie Weirich (Eds.):
Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010.
ACM 2010, ISBN 978-1-60558-794-3
Contents
Bruno C. d. S. Oliveira, Marcin Zalewski (Eds.):
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010.
ACM 2010, ISBN 978-1-4503-0251-7
Contents
Graham Hutton, Andrew P. Tolmach (Eds.):
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.
ACM 2009, ISBN 978-1-60558-332-7
Contents
James Hook, Peter Thiemann (Eds.):
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008.
ACM 2008, ISBN 978-1-59593-919-7
Contents
Ralf Hinze, Don Syme (Eds.):
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008.
ACM 2008, ISBN 978-1-60558-060-9
Contents
Eijiro Sumii (Ed.):
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008.
ACM 2008, ISBN 978-1-60558-062-3
Contents
Ralf Hinze, Norman Ramsey (Eds.):
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007.
ACM 2007, ISBN 978-1-59593-815-2
Contents
Claudio V. Russo, Derek Dreyer (Eds.):
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007.
ACM 2007, ISBN 978-1-59593-676-9
Contents
Aaron Stump, Hongwei Xi (Eds.):
Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007.
ACM 2007, ISBN 978-1-59593-677-6
Contents
John H. Reppy, Julia L. Lawall (Eds.):
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006.
ACM 2006, ISBN 1-59593-309-3
Contents
Ralf Hinze (Ed.):
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006.
ACM 2006
Contents
Andrew Kennedy, François Pottier (Eds.):
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006.
ACM 2006, ISBN 1-59593-483-9
Contents
Olivier Danvy, Benjamin C. Pierce (Eds.):
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005.
ACM 2005, ISBN 1-59593-064-7
Contents
Sergio Antoy, Michael Hanus (Eds.):
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005.
ACM 2005, ISBN 1-59593-069-8
Contents
Randy Pollack (Ed.):
ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005.
ACM 2005
Contents
- ICFP 2004 Home Page
Colin Runciman, Olin Shivers (Eds.):
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003.
ACM 2003, ISBN 1-58113-756-7
Contents
Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003.
ACM 2003
Contents
Mitchell Wand, Simon L. Peyton Jones (Eds.):
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002.
ACM 2002, ISBN 1-58113-487-8
Contents
- SIGPLAN Notices 37(9), September 2002
Benjamin C. Pierce (Ed.):
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001.
ACM 2001, ISBN 1-58113-415-0
Contents
- SIGPLAN Notices 36(10), October 2001
Martin Odersky, Philip Wadler (Eds.):
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000.
ACM 2000, ISBN 1-58113-202-6
Contents
- SIGPLAN Notices 35(9), September 2000
Didier Rémi, Peter Lee (Eds.):
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999.
ACM 1999, ISBN 1-58113-111-9
Contents
- SIGPLAN Notices 34(9), September 1999
- PLI / ICFP 1999 Home Page
Matthias Felleisen, Paul Hudak, Christian Queinnec (Eds.):
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998.
ACM 1998, ISBN 0-58113-024-4
Contents
- SIGPLAN Notices 34(1), January 1999
- ICFP 1998 Home Page
Simon L. Peyton Jones, Mads Tofte, A. Michael Berman (Eds.):
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997.
ACM 1997, ISBN 0-89791-918-1
Contents
- SIGPLAN Notices 32(8), August 1997
- ICFP 1997 Home Page
Robert Harper, Richard L. Wexelblat (Eds.):
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996.
ACM 1996, ISBN 0-89791-770-7
Contents
- SIGPLAN Notices 31(6), June 1996
- ICFP 1996 Home Page
Data released under the ODC-BY 1.0 license — See also our legal information page