Haskell 2018 - The ACM SIGPLAN Haskell Symposium 2018

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.
System Demonstrations, based on running software rather than novel research results.
Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate.