Subject Area and Category
Publication type
Conferences and Proceedings
Scope
The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative 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.