ACM SIGPLAN International Conference on Functional Programming

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