Submission page: https://icfp-mlworkshop18.hotcrp.com/ ML is a family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages share several fundamental traits, besides a good deal of syntax. They are higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems are derived from Hindley-Milner. The development of these languages has inspired a significant body of computer science research and influenced the design of many other programming languages, including Haskell, Rust, and Scala. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognise the entire extended ML family and to provide a forum for presenting and discussing common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as ATS, Eff, F*, Koka, Links, Rust, Scala, Swift, etc.), to exchange experience of further developing ML ideas. We expect research presentations of original and novel work, but emphasize that rigorous descriptions do not prevent preliminary or surprising work: we hope to encourage exciting (if unpolished) research and deliver a lively workshop atmosphere. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop.
If you have any question about the workshop, submission or
participation, feel free to send them by email to the program chair,
Gabriel Scherer Important dates
FormatThe ML 2018 workshop will continue the informal approach followed since 2010. Presentations are selected by the program committee from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Program committee
ScopeWe seek research presentations on topics including (but not limited to):
Four kinds of submissions will be accepted: Research Presentations, Experience Reports, Demos, and Informed Positions.
Post-proceedingsML 2018 is an informal workshop without proceedings. We are planning to publish a post-proceedings and to invite interested authors of selected presentations to expand their abstracts for inclusion. Coordination with the OCaml Users and Developers WorkshopThe OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the program chairs. Submission detailsSubmissions should be between one and three pages long, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a short abstract and a body between 0 and 3 pages, in one- or two-column layout. The abstract should be suitable for inclusion in the workshop program. The bibliography will not be counted against the page limit. Appendices may be provided, but reviewers will only look at them if they are curious to; similarly, links to an extended presentation of the submitted work may be provided. Submissions must be uploaded to the workshop submission website ( https://icfp-mlworkshop18.hotcrp.com ) before the submission deadline (Thursday 31st May). Finally, please be aware that the submissions may be made public -- in particular, accepted submissions may be made public on the conference website. Do not include confidential information in the submitted PDF. |
ML Family Workshops > 2018 >