Topics of interest include (but are not limited to):

• Language Design: concurrency and distribution; modules; components
  and composition; metaprogramming; interoperability; type systems;
  relations to imperative, object-oriented, or logic programming

• Implementation: abstract machines; virtual machines; interpretation;
  compilation; compile-time and run-time optimization; memory
  management; multi-threading; exploiting parallel hardware; interfaces
  to foreign functions, services, components, or low-level machine
  resources

• Software-Development Techniques: algorithms and data structures;
  design patterns; specification; verification; validation; proof
  assistants; debugging; testing; tracing; profiling

• Foundations: formal semantics; lambda calculus; rewriting; type
  theory; monads; continuations; control; state; effects; program
  verification; dependent types

• Analysis and Transformation: control-flow; data-flow; abstract
  interpretation; partial evaluation; program calculation

• Applications and Domain-Specific Languages: symbolic computing;
  formal-methods tools; artificial intelligence; systems programming;
  distributed-systems and web programming; hardware design; databases;
  XML processing; scientific and numerical computing; graphical user
  interfaces; multimedia programming; scripting; system
  administration; security

• Education: teaching introductory programming; parallel programming;
  mathematical proof; algebra

• Functional Pearls: elegant, instructive, and fun essays on
  functional programming

• Experience Reports: short papers that provide evidence that
  functional programming really works or describe obstacles that have
  kept it from working