Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. D. S. Oliveira, and Philip Wadler
KU Leuven, Belgium; University of Hong Kong, Hong Kong; University of Edinburgh, UK
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.
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.
|Regular paper||12 pages|
|Functional pearl||12 pages|
|Experience report||6 pages|
|Demo proposal||2 pages|
[Early and Regular Track]
The Haskell Symposium uses a two-track submission process so that some
papers can gain early feedback. Strong papers submitted to the
early track are accepted outright, and the others will be given their
reviews and invited to resubmit to the regular track.
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.
Submitted papers should be in portable document format (PDF),
formatted using the
SIGPLAN style guidelines.
- Authors should use the acmart format, with the sigplan
sub-format for ACM proceedings.
- The text of the paper should use a minimum font size of 9pt.
Please note that the LaTeX template on the ACM site uses a 10pt font by default.
- Functional pearls, experience reports, and demo proposals should be labelled clearly as such.
- Papers submissions should not be anonymous.
The length of submissions should not exceed the limits, but there is
no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. The paper limits apply to the whole paper, including references, but excluding an optional appendix.
Submission should adhere to SIGPLAN's republication policy, as explained on the web.
The paper submission deadline and length limitations are firm
There will be no extensions, and papers violating the length limitations will
be summarily rejected.
Papers should be submitted through easychair at the following URL:
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. For details
on the PAC program, see its web page.
Accepted papers will be included in the ACM Digital Library.
Authors must grant ACM publication rights upon acceptance;
for more details.
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.