Post-proceedings 2018

ML and OCaml workshops 2018 joint post-proceedings

This page serves as a public announcement for the joint post-proceedings of the 2018 edition of the ML and OCaml workshop. For a general descriptoin of the post-proceedings, see Post-Proceedings.

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.

2018 edition

The post-proceedings of 2018 are prepared by Gabriel Scherer (chair of the ML Family Workshop 2018) and Andrew Kennedy (chair of the OCaml workshop 2018). Feel free to contact them if you have any questions regarding this edition of the post-proceedings.

Important dates:

• • 18th December 2018: we invite submissions from authors of workshop presentations.

  • 10th January 2019: indication of interest.

  • 21st April 2019: paper submission deadline.

  • June 2019: author notification.

  • August 2019--September 2019: second round of reviews, if needed.

Submissions have no upper limit on length, but we expect authors to carefully consider that shorter papers enjoy a larger readership --- in particular, reviewers may stop reading a paper if they lose interest in the presentation.