Post-proceedings

Since 2014, the ML and OCaml workshops have organized joint post-proceedings, published as a special volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) volume, an Open Access publication that is free for both authors and readers. The organizers of the workshop invite publications in the year following each edition of the workshop --- the workshop is colocated with ICFP in August or September, authors are expected to submit a long version by the following summer, and we aim to publish around the following winter/spring.

• • post-proceedings of 2014, published in December 2015

  • post-proceedings of 2015, published in February 2017

  • post-proceedings of 2016, published in December 2018

  • post-proceedings of 2017, published in May 2019

The post-proceedings expect article-length works presented according to the usual scientific standards, that must not have been submitted for publication elsewhere: they form a scientific publication, encouraging authors to provide a more detailed presentation of ideas presented at the workshop. They will receive at least two original reviews.

We believe that the post-proceedings can serve a useful role for both the authors of its articles and the language-research community. They encourage the production of long versions of workshop ideas, presented according to the usual scientific standards, which can give authors an occasion to refine and structure their contribution, and produce long-lasting documents that serve as a reference in the future.

Paper categories

The post-proceedings welcome regular research papers, evaluated on originality, significance, correctness, and clarity of presentation.

Other categories of papers may further the proceedings goal of providing a long-term place for detailed presentations of ideas discussed within the community participating to the ML and OCaml workshops. Authors invited to submit to a specific issue should contact the editors of this issue before submission if they have a different category of paper in mind, so that evaluation criteria can be agreed on before submission.

We expect a submission in any category to respect the usual scientific standard; in addition, the introduction should explicitly state claimed contributions and the submission should discuss related work.

Possible submission categories include the following categories, that have been considered in previous editions and are appropriate for submission to the post-proceedings:

• • Survey or history papers. A detailed survey or history of a topic of interest to the ML and OCaml workshop community, such as a specific language construct or general feature.

  • Position papers. Some of the contributions to the ML and OCaml workshops are based not on novel technical contributions in language design, but rather on the presentation of an argument based on experience with existing features or ideas. The argument may include subjective elements. We expect a clear and thoughtful presentation, and a discussion of the consequences of adopting the authors' point of view.

  • System descriptions. System descriptions provide a description of a system that gives the essential information about it, so that people who read the description get the gist of what problems it solves, what ideas it contributes and what use-case it enables. It is best if the description is written in a way that gives insight independent of the specific system internals, elucidating ideas that could be of value to implementors of a similar system.