
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.
25th ICFP 2020: Virtual Event, USA
ICFP proceedings: PACMPL 4(ICFP)
- Tom Schrijvers
:
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020. ACM 2020, ISBN 978-1-4503-8050-8 [contents] - James McKinna, Cyrus Omar:
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020. ACM 2020, ISBN 978-1-4503-8051-5 [contents] - Baptiste Saleil, Michael D. Adams:
Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020. University of Michigan 2021 [contents]
24th ICFP 2019: Berlin, Germany
ICFP proceedings: PACMPL 3(ICFP)
- Marco Zocca:
Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6814-8 [contents] - David Darais, Jeremy Gibbons:
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6815-5 [contents] - Richard A. Eisenberg:
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019. ACM 2019, ISBN 978-1-4503-6813-1 [contents]
23rd ICFP 2018: St. Louis, Missouri, USA
ICFP proceedings: PACMPL 2(ICFP)
- Brent Yorgey, Donya Quick:
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, St. Louis, MO, USA, September 29, 2018. ACM 2018 [contents] - Kei Davis, Mike Rainey:
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018. ACM 2018 [contents] - Richard A. Eisenberg, Niki Vazou:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. ACM 2018 [contents] - Sebastian Erdweg, Bruno C. d. S. Oliveira:
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018. ACM 2018 [contents] - Nicolas Wu:
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. ACM 2018 [contents]
22nd ICFP 2017: Oxford, UK
ICFP proceedings: PACMPL 1(ICFP)
- Michael Sperber, Jean Bresson:
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September 9, 2017. ACM 2017, ISBN 978-1-4503-5180-5 [contents] - Phil Trinder, Cosmin E. Oancea:
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017. ACM 2017, ISBN 978-1-4503-5181-2 [contents] - Sam Lindley, Brent A. Yorgey:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017. ACM 2017, ISBN 978-1-4503-5183-6 [contents]
21st 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]
20th 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]
19th 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]
18th 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]
17th 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]
16th 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]
15th 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]
14th 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]
13th 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]
12th 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]
11th 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]
10th 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]
9th 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]
8th 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]
7th 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]
6th 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]
5th 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]
4th ICFP 1999: Paris, France
- 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]
3rd 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]
2nd 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]
1st ICFP 1996: Philadelphia, Pennsylvania
- 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]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.