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.

• 
  ICFP Home Page

• 
  Greg Morrisett, Tarmo Uustalu (Eds.): ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. ACM 2013 ISBN 978-1-4503-2326-0 [ contents ]

• 
  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 ]

• 
  Chris Okasaki, Kathleen Fisher (Eds.): Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004 ISBN 1-58113-905-5 [ contents ]

• 
  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, (SIGPLAN Notices 37(9), September 2002) [ contents ]

• 
  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, (SIGPLAN Notices 36(10), October 2001) [ contents ]

• 
  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, (SIGPLAN Notices 35(9), September 2000) [ contents ]

• 
  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, (SIGPLAN Notices 34(9), September 1999) [ contents ]
• 
  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, (SIGPLAN Notices 34(1), January 1999) [ contents ]

• 
  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, (SIGPLAN Notices 32(8), August 1997) [ contents ]
• 
  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, (SIGPLAN Notices 31(6), June 1996) [ contents ]
• 
  ICFP 1996 Home Page

data released under the ODC-BY 1.0 license. See also our legal information page

last updated on 2013-10-16T203152 by the dblp team