About

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 working 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 with functional languages