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.
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, Canaday, 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 Genetic 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
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