|
|
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.
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
Claudio 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 BibTeX
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 BibTeX
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 BibTeX
Ralf Hinze (Ed.):
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006.
ACM 2006
Contents BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
- ICFP 2003 Home Page
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 BibTeX