The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes ..
other forms of declarative programming. 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;.