Haskell logo

Haskell Symposium 2015

Vancouver, Canada, 3 – 4 September 2015 (directly after ICFP)
ACM logo

Front matter

Thursday 3rd September

9:00 Welcome
Type Checking (chair: Garrett Morris)
9:10 Improving Haskell Types with SMT
Iavor S. Diatchki
9:35 A Typechecker Plugin for Units of Measure
Adam Gundry
10:00 Break
Verification (chair: Richard Eisenberg)
10:30 Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs
Andrew Farmer, Neil Sculthorpe and Andy Gill
10:55 Formally Proving a Compiler Transformation Safe
Joachim Breitner
11:20 Break
Graphics and Distribution (chair: Oleg Kiselyov)
11:40 Bridging the GUI Gap with Reactive Values and Relations
Ivan Perez and Henrik Nilsson
12:05 The Remote Monad Design Pattern
Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott and James Stanton
12:30 Lunch
Generics (chair: Atze Dijkstra)
14:00 Variations on Variants
J. Garrett Morris
14:25 Modular Reifiable Matching: A List-of-Functors Approach to Two-Level Types
Bruno C. d. S. Oliveira, Shin-Cheng Mu and Shu-Hung You
14:50 Break
Monads and Comonads (chair: Edward Kmett)
15:10 Injective Type Families for Haskell  (schedule changed)
Jan Stolarek, Simon Peyton Jones and Richard A. Eisenberg
15:35 Functional Pearl: Getting a Quick Fix on Comonads
Kenneth Foner
16:00 Break
Lightning Talks
16:30 Lightning Talks schedule

Friday 4th September

Type Classes (chair: Ben Lippmeier)
9:10 Freer Monads, More Extensible Effects  (schedule changed)
Oleg Kiselyov and Hiromi Ishii
9:35 Type Families with Class, Type Classes with Family
Alejandro Serrano, Jurriaan Hage and Patrick Bahr
10:00 Break
Concurrency and Parallelism (chair: Tom DuBuisson)
10:30 Deja Fu: A Concurrency Testing Library for Haskell
Michael Walker and Colin Runciman
10:55 Improving Implicit Parallelism
José Manuel Calderón Trilla and Colin Runciman
11:20 Break
Report and Future of Haskell Discussion (chair: Geoff Mainland)
11:40 PC Chair Report and Future of Haskell Discussion
12:30 Lunch
Probabilistic and Linear Programming (chair: Chung-chieh Shan)
14:00 Practical probabilistic programming with monads
Adam Ścibior, Zoubin Ghahramani and Andrew D. Gordon
14:25 Embedding a Full Linear Lambda Calculus in Haskell
Jeff Polakow
14:50 Break
Code Generation (chair: Paul Liu)
15:10 Guilt Free Ivory
Trevor Elliott, Lee Pike, Simon Winwood, Pat Hickey, James Bielman, Jamey Sharp, Eric Seidel and John Launchbury
15:35 Type-safe Runtime Code Generation: Accelerate to LLVM
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover and Ryan R. Newton
16:00 Close


The ACM SIGPLAN Haskell Symposium 2015 will be co-located with the 2015 International Conference on Functional Programming (ICFP), in Vancouver, Canada.

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:

Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki.

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.

In addition, we solicit proposals for:

These proposals should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal.

Travel Support

Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe.


Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website, but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting.

Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Submission Details

Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit -- for example, a Functional Pearl may be much shorter than 12 pages. Each paper submission must adhere to SIGPLAN's republication policy. Demo proposals are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected.

Submission Timetable

Early Track Regular Track System Demos
13th March   Paper Submission
1st May Notification
19th May  Abstract Submission 
22nd May Paper Submission
5th June Resubmission Demo Submission
26th June Notification Notification Notification
19th July Final papers due Final papers due

Deadlines stated are valid anywhere on earth.

In this iteration of the Haskell Symposium we are trialling a two-track submission process, so that some papers can gain early feedback. Papers can be submitted to the early track on 13th March. On 1st May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 5th June early track papers may be resubmitted, and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings.

Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas.

Program Committee

Mathieu Boespflug Tweag I/O (France)
Edwin Brady University of St Andrews (UK)
Atze Dijkstra Utrecht University (Netherlands)
Tom DuBuisson Galois (USA)
Torsten Grust Universität Tübingen (Germany)
Patrik Jansson Chalmers University of Technology   (Sweden)
Patricia Johann Appalachian State University (USA)
Oleg Kiselyov Tohoku University (Japan)
Edward Kmett McGraw Hill Financial (USA)
Neelakantan Krishnaswami   University of Birmingham (UK)
Ben Lippmeier (chair) Vertigo Technology (Australia)
Hai (Paul) Liu Intel Labs (USA)
Garrett Morris University of Edinburgh (UK)
Dominic Orchard Imperial College London (UK)
Matt Roberts Macquarie University (Australia)
Tim Sheard Portland State University (USA)
Joel Svensson Indiana University (USA)
Edsko de Vries Well-Typed (Ireland)

More Information