26 citations · 45 across the 11 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 1 cited
First-Class Subtypes
Jeremy Yallop, Stephen Dolan
First class type equalities, in the form of generalized algebraic data types (GADTs), are commonly found in functional programs. However, first-class representations of other relat…
cs.PL2019★ 1 cited
Extending OCaml's 'open'
Runhang Li, Jeremy Yallop
We propose a harmonious extension of OCaml's 'open' construct. OCaml's existing construct 'open M' imports the names exported by the module 'M' into the current scope. At present '…
cs.PL2019
Programming Unikernels in the Large via Functor Driven Development
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy +5
Compiling applications as unikernels allows them to be tailored to diverse execution environments. Dependency on a monolithic operating system is replaced with linkage against libr…