A Tour of ML-style module systems
Date: Wed, February 24, 2021
Room: Eelco's Zoom Room
Modules are, in one form or another, present in almost all programming languages. ML languages famously provide an extremely rich module system that form a second language designed to provide large-scale composition and abstraction. The principal mainstream represent of this tradition is the OCaml language. In this talk, I’ll present ML modules in practice, through OCaml examples and live-coding, and in theory, with a presentation of the underlying theory, and the sort of meta-theoretical guarantees we can expect. We will then take a quick tour of the “new cool kids”, promising alternative formulations of modules such as 1ML, and what feature they bring.
Jens de Waard | Implementing the Decomposition of Soundness Proofs of Abstract Interpreters in Coq
Next: | Tba