Programming Unikernels in the Large via Functor Driven Development. | 0 | 0.34 | 2019 |
A right-to-left type system for mutually-recursive value definitions. | 0 | 0.34 | 2018 |
Proceedings ML Family / OCaml Users and Developers workshops. | 0 | 0.34 | 2017 |
Causal commutative arrows revisited. | 2 | 0.39 | 2016 |
Generic partially-static data (extended abstract). | 1 | 0.37 | 2016 |
Declarative Foreign Function Binding Through Generic Programming. | 0 | 0.34 | 2016 |
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). | 0 | 0.34 | 2016 |
Modular implicits. | 0 | 0.34 | 2014 |