OCaml 2013 - ACM SIGPLAN OCaml Workshop

The workshop will not publish proceedings, so
any contributions may be submitted for publication elsewhere. We hope
that this format will encourage the presentation of exciting (if
unpolished) research and deliver a lively workshop atmosphere.
SCOPE
-----
We seek research presentations on topics related to ML, including but
not limited to
* applications: case studies, experience reports, pearls, etc.
* extensions: higher forms of polymorphism, generic programming,
objects, concurrency, distribution and mobility, semi-structured
data handling, etc.
* type systems: inference, effects, overloading, modules, contracts,
specifications and assertions, dynamic typing, error reporting, etc.
* implementation: compilers, interpreters, type checkers, partial
evaluators, runtime systems, garbage collectors, etc.
* environments: libraries, tools, editors, debuggers, cross-language
interoperability, functional data structures, etc.
* semantics: operational, denotational, program equivalence,
parametricity, mechanization, etc.