I’m a little biased, by being on the steering committee, but this year’s ML workshop looks really interesting. Here’s a link to the program:


It has a bunch of interesting papers, including work on cleaning up and simplifying first-class modules, type-level module aliases, new approaches in type-directed test generation, a couple of papers on implicits (how they’ve worked out in Scala, and a proposed approach in OCaml), and more.

The OCaml users-and-developers meeting is also looking good, though for me there’s a clear favorite among the presentations: OCaml Labs’ announcement of version 1 of the OCaml Platform. I think that’s a pretty important milestone for the language.

All told, it’s shaping up to be a good ICFP.