55 citations · 142 across the 17 of their papers we have counts for
5 papers · 1 filter
Bidirectional Type Slicing
Max Carroll, Anil Madhavapeddy, Cyrus Omar
Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing: a programmer selects a term, queries any part of i…
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentatio…
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White +3
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as g…
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White +6
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages…
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…