From: Jeremy Yallop <yallop@gmail.com>
To: Caml List <caml-list@inria.fr>
Subject: [Caml-list] Call for participation: ML 2015
Date: Sun, 26 Jul 2015 01:21:47 +0100 [thread overview]
Message-ID: <CAAxsn=EuCyQfVGcLdniVK_V=MNqwWFLYQM2_voXTzps8GLZfkw@mail.gmail.com> (raw)
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday 3 September 2015, Vancouver, Canada (co-located with ICFP)
Call For Participation: http://www.mlworkshop.org/ml2015/
Early registration deadline: Monday 3 August 2015
Register online: https://regmaster4.com/2015conf/ICFP15/register.php
The ML Family Workshop brings together researchers, implementors and
users of languages in the extended ML family and provides a forum to
present and discuss common issues, both practical (compilation
techniques, tooling, embedded programming) and theoretical (fancy
types, module systems, type inference).
ML 2015 will be held in Vancouver on 3 September, immediately after
ICFP and close to a number of other related events, including the
OCaml Workshop on the following day.
Programme
(Talk times and abstracts are available from the workshop website:
http://www.mlworkshop.org/ml2015/).
* The History of Standard ML: Ideas, Principles, Culture
(Invited Talk)
David MacQueen
* Generating code with polymorphic let
Oleg Kiselyov
* Polymorphism, subtyping and type inference in MLsub
Stephen Dolan and Alan Mycroft
* Arduino programming of ML-style in ATS
Kiwamu Okabe and Hongwei Xi
* Resource monitoring for Poly/ML processes
David Matthews, Magnus Stenqvist and Tjark Weber
* Full dependency and user-defined effects in F*
Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Pierre-Yves Strub,
Aseem Rastogi, Antoine Delignat-Lavaud, Karthikeyan Bhargavan, and
Cédric Fournet
* Dependent types for real-time constraints
William Blair and Hongwei Xi
* Manifest contracts for OCaml
Yuki Nishida and Atsushi Igarashi
* Lost in extraction, recovered
Éric Tanter and Nicolas Tabareau
* GADTs and exhaustiveness: looking for the impossible
Jacques Garrigue and Jacques Le Normand
reply other threads:[~2015-07-26 0:21 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAAxsn=EuCyQfVGcLdniVK_V=MNqwWFLYQM2_voXTzps8GLZfkw@mail.gmail.com' \
--to=yallop@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).