IFIP Working Group 2.8 - Functional Programming

The purpose of the IFIP Working Group 2.8 - Functional Programming (part of Technical Committee 2) is to encourage the exchange of information between researchers in the design, implementation, and use of functional programming languages.

Topics within the scope of the Group include:

• semantic theories for functional languages,
• specification and correctness for functional programs,
• data and demand driven execution models,
• programming with higher-order functions,
• functional approaches to input-output and persistent memory,
• type systems for functional languages,
• functional program transformations,
• programming systems based on functional languages,
• novel architectures for functional programming systems,
• implementations based on combinator graph reduction,
• multiple processor implementations,
• programming styles and techniques appropriate for functional languages,
• applications and experience.

Members of the group

The group currently consists of 41 members:

Arvind Lennart Augustsson Robert Cartwright Manuel M.T. Chakravarty Koen L. Claessen Olivier Danvy Jack P. Dennis Conal Elliott Kathleen Fisher Robert Harper Fritz Henglein Ralf Hinze (secretary) Paul Hudak John M. Hughes

Mark P. Jones John Launchbury Xavier Leroy David B. MacQueen Simon Marlow Conor McBride Erik Meijer Greg Morrisett Rishiyur S. Nikhil Martin Odersky Christopher Okasaki Simon Peyton Jones Benjamin Pierce (chair) Rinus Plasmeijer

Norman Ramsey Didier Remy Colin Runciman Mary Sheeran Olin Shivers Satnam Singh Joe Stoy Don Syme Peter Thiemann David A. Turner Philip Wadler Stephanie Weirich Steve Zdancewic

Emeriti:

• John Backus
• Richard S. Bird
• Corrado Böhm
• Richard Kieburtz
• John Williams

We also keep a list of former members.

Informal minutes of the meetings

The working group has meetings approximately every 11 months.

• Meeting #28: Marble Falls, Texas, US, March 7-11, 2011
• Meeting #27: Shirahama, Japan, April 11-16, 2010
• Meeting #26: Frauenchiemsee, Germany, June 7-12, 2009
• Meeting #25: Park City, Utah, US, June 16-20, 2008
• Meeting #24: Nesjavellir, Iceland, July 16-20, 2007
• Meeting #23: Endicott House, Boston, USA, July 16-21, 2006
• Meeting #22: Kalvi Manor, Estonia, October 1-4, 2005
• Meeting #21: West Point, NY, USA, 31 October-5 November, 2004
• Meeting #20: Coffs Habour, NSW, Australia, December, 7-12, 2003
• Meeting #19: Crans-Montana, Switzerland, January, 26-31, 2003
• Meeting #18: Las Vegas, NV, USA, March 3-8, 2002
• Meeting #17: Åre, Sweden, April 22-27, 2001
• Meeting #16: Packwood, Washington State, 2000
• Meeting #15: St Malo, France, 1999
• Meeting #14: Recife, Brazil, 1999
• Meeting #13: Warm Springs, Oregon. March 30th-April 3rd
• Meeting #12: Harrogate, England, June 2-6th, 1997
• Meeting #11: Mohonk, New York State, September 22-27, 1996
• Meeting #10: Aspenaes, Sweden, September 18-22, 1995
• Meeting #09: Santa Cruz, CA, USA, January 16-20, 1995
• Meeting #08: Vancouver, BC, Canada, April 25-29, 1994
• Meeting #07: Copenhagen, Denmark, June 6-8, 1993
• Meeting #06: Oxford, UK, Aug 31-Sep 4, 1992
• Meeting #05: Santa Fe, NM, USA, January 12-17, 1992
• Meeting #04: Paris, France, April 15-19, 1991
• Meeting #03: Rome, Italy, March 26-30, 1990
• Meeting #02: Mystic, CT, USA, May 1-5, 1989
• Meeting #01: Glasgow, UK, July 11-15, 1988