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 50 members:

Amal Ahmed Arvind Lennart Augustsson Robert Cartwright Manuel M.T. Chakravarty Adam Chlipala Koen Lindström Claessen Olivier Danvy Jack B. Dennis Derek Dreyer Conal Elliott Robby Findler Kathleen Fisher (chair) Nate Foster Robert W. Harper Fritz Henglein Ralf Hinze (secretary)

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

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

Emeriti:

• John Backus (December 3, 1924 – March 17, 2007)
• Richard S. Bird
• Corrado Böhm
• Paul Hudak (Juli 15, 1952 - April 29, 2015)
• Richard Kieburtz (November 28, 1933 - November 26, 2013)
• 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 #33: Kefalonia, Greece, May 24-29, 2015
• Meeting #32: Estes Park, Colorado, US, August 11-15, 2014
• Meeting #31: Aussois, France, October 13-18, 2013
• Meeting #30: Annapolis, Maryland, US, November 5-9, 2012
• Meeting #29: Storulvan, Sweden, February 19-24, 2012
• 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