ACM SIGPLAN International Conference on Functional Programming (ICFP)

The ACM SIGPLAN International Conference on Functional Programming (ICFP) is a annual conference combining the established LISP and Functional Programming (LFP) and Functional Programming and Computer Architecture (FPCA) conferences.

ICFP Home Page

22. ICFP 2017: Oxford, UK

proceedings: Proceedings of the ACM on Programming Languages, Volume 1

21. ICFP 2016: Nara, Japan

• 
  Jacques Garrigue, Gabriele Keller, Eijiro Sumii:
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. ACM 2016, ISBN 978-1-4503-4219-3 [contents]
• 
  David Janin, Michael Sperber:
  Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24, 2016. ACM 2016, ISBN 978-1-4503-4432-6 [contents]
• 
  David Duke, Yukiyoshi Kameyama:
  Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016. ACM 2016, ISBN 978-1-4503-4433-3 [contents]
• 
  James Chapman, Wouter Swierstra:
  Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016. ACM 2016, ISBN 978-1-4503-4435-7 [contents]

20. ICFP 2015: Vancouver, BC, Canada

• 
  Kathleen Fisher, John H. Reppy:
  Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015. ACM 2015, ISBN 978-1-4503-3669-7 [contents]
• 
  Henrik Nilsson, David Janin:
  Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada, September 5, 2015. ACM 2015, ISBN 978-1-4503-3806-6 [contents]
• 
  Tiark Rompf, Geoffrey Mainland:
  Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015. ACM 2015, ISBN 978-1-4503-3807-3 [contents]
• 
  Patrick Bahr, Sebastian Erdweg:
  Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015. ACM 2015, ISBN 978-1-4503-3810-3 [contents]

19. ICFP 2014: Gothenburg, Sweden

• 
  Johan Jeuring, Manuel M. T. Chakravarty:
  Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-2873-9 [contents]
• 
  Jost Berthold, Mary Sheeran, Ryan Newton:
  Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014. ACM 2014, ISBN 978-1-4503-3040-4 [contents]
• 
  José Pedro Magalhães, Tiark Rompf:
  Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014. ACM 2014, ISBN 978-1-4503-3042-8 [contents]
• 
  Alex McLean, Michael Sperber, Henrik Nilsson:
  Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM@ICFP 2014, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-3039-8 [contents]

18. ICFP 2013: Boston, MA, USA

• 
  Greg Morrisett, Tarmo Uustalu:
  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]
• 
  Jacques Carette, Jeremiah Willcock:
  Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013. ACM 2013, ISBN 978-1-4503-2389-5 [contents]
• 
  Paul Hudak, Conal Elliott:
  Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM@ICFP 2013, Boston, MA, USA, September 25-27, 2013. ACM 2013, ISBN 978-1-4503-2386-4 [contents]
• 
  Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold:
  Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013. ACM 2013, ISBN 978-1-4503-2381-9 [contents]
• 
  Stephanie Weirich:
  Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013. ACM 2013, ISBN 978-1-4503-2384-0 [contents]
• 
  Richard Lazarus, Assaf J. Kfoury, Jacob Beal:
  Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013. ACM 2013, ISBN 978-1-4503-2380-2 [contents]

17. ICFP 2012: Copenhagen, Denmark

• 
  Peter Thiemann, Robby Bruce Findler:
  ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1054-3 [contents]
• 
  Olivier Danvy:
  Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1895-2 [contents]
• 
  Andrzej Filinski, Clemens Grelck:
  Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1577-7 [contents]
• 
  Andres Löh, Ronald Garcia:
  Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1576-0 [contents]

16. ICFP 2011: Tokyo, Japan

• 
  Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy:
  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]
• 
  Jaakko Järvi, Shin-Cheng Mu:
  Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011. ACM 2011, ISBN 978-1-4503-0861-8 [contents]

15. ICFP 2010: Baltimore, Maryland, USA

• 
  Paul Hudak, Stephanie Weirich:
  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:
  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]
• 
  Venanzio Capretta, James Chapman:
  Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010. ACM 2010, ISBN 978-1-4503-0255-5 [contents]

14. ICFP 2009: Edinburgh, Scotland, UK

• 
  Graham Hutton, Andrew P. Tolmach:
  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]
• 
  Patrik Jansson, Sibylle Schupp:
  Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009. ACM 2009, ISBN 978-1-60558-510-9 [contents]

13. ICFP 2008: Victoria, BC, Canada

• 
  James Hook, Peter Thiemann:
  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:
  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:
  Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008. ACM 2008, ISBN 978-1-60558-062-3 [contents]
• 
  Frank Huch, Adam Parkin:
  Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. ACM 2008, ISBN 978-1-60558-068-5 [contents]

12. ICFP 2007: Freiburg, Germany

• 
  Ralf Hinze, Norman Ramsey:
  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:
  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:
  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]

11. ICFP 2006: Portland, Oregon, USA

• 
  John H. Reppy, Julia L. Lawall:
  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:
  Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-492-8 [contents]
• 
  Andrew Kennedy, François Pottier:
  Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-483-9 [contents]

10. ICFP 2005: Tallinn, Estonia

• 
  Olivier Danvy, Benjamin C. Pierce:
  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:
  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:
  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]
• 
  Robby Bruce Findler, Michael Hanus, Simon Thompson:
  Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25 - 25, 2005. ACM 2005, ISBN 1-59593-067-1 [contents]

9. ICFP 2004: Snowbird, Utah, USA

• 
  Chris Okasaki, Kathleen Fisher:
  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]

8. ICFP 2003: Uppsala, Sweden

• 
  Colin Runciman, Olin Shivers:
  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]

7. ICFP 2002: Pittsburgh, Pennsylvania, USA

• 
  Mitchell Wand, Simon L. Peyton Jones:
  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]

6. ICFP 2001: Firenze (Florence), Italy

• 
  Benjamin C. Pierce:
  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]

5. ICFP 2000: Montreal, Canada

• 
  Martin Odersky, Philip Wadler:
  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]

4. ICFP 1999: Paris, France

PLI / ICFP 1999 Home Page

• 
  Didier Rémy, Peter Lee:
  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]

3. ICFP 1998: Baltimore, Maryland, USA

• 
  Matthias Felleisen, Paul Hudak, Christian Queinnec:
  Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998. ACM 1998, ISBN 1-58113-024-4 [contents]

2. ICFP 1997: Amsterdam, The Netherlands

• 
  Simon L. Peyton Jones, Mads Tofte, A. Michael Berman:
  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]

1. ICFP 1996: Philadelphia, Pennsylvania

ICFP 1996 Home Page

• 
  Robert Harper, Richard L. Wexelblat:
  Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996. ACM 1996, ISBN 0-89791-770-7 [contents]