The maturation of the Web platform has given rise to sophisticated and demanding Web
applications such as interactive 3D visualization, audio and video software, and games. With that…

ML modules are a powerful language mechanism for decomposing programs into reusable
components. Unfortunately, they also have a reputation for being “complex” and requiring …

Mitchell's notion of representation independence is a particularly useful application of Reynolds'
relational parametricity -- two different implementations of an abstract data type can be …

Type abstraction and intensional type analysis are features seemingly at odds-type abstraction
is intended to guarantee parametricity and representation independence, while type …

The maturation of the Web platform has given rise to sophisticated Web applications such as
3D visualization, audio and video software, and games. With that, efficiency and security of …

The method of logical relations is a classic technique for proving the equivalence of higher-order
programs that implement the same observable behavior but employ different internal …

ML modules provide hierarchical namespace management, as well as fine-grained control
over the propagation of type information, but they do not allow modules to be broken up into …

ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …

ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures, and functors. Modules form a separate, higher-order …

WebAssembly (Wasm) is a low-level portable code format offering near native performance.
It is intended as a compilation target for a wide variety of source languages. However, Wasm …