The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming.
Topics of interest include:
- Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo;
- Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation;
- Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces;
- Libraries, that demonstrate new ideas or techniques for functional programming in Haskell;
- Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools;
- Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth;
- Functional Pearls, being elegant and instructive programming examples;
- Experience Reports, to document general practice and experience in education, industry, or other contexts;
- Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem;
- System Demonstrations, based on running software rather than novel research results.