23 on this site · 0 links
Package Managers à la Carte: A Formal Model of Dependency Resolution1st Aug 2026Bidirectional Type Slicing1st Jul 2026
Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet1st Oct 2025
Generating a corpus of Hazel programs from ill-typed OCaml programs1st Oct 2025Decomposable Type Highlighting for Bidirectional Type and Cast System1st Jan 2025
Real World OCaml: Functional Programming for the Masses1st Oct 2022Homogeneous Builds with OBuilder and OCaml1st Sep 2022
Retrofitting effect handlers onto OCaml1st Jun 2021
Banyan: Coordination-Free Distributed Transactions over Mergeable Types1st Nov 2020
Parallelising your OCaml Code with Multicore OCaml1st Aug 2020
Retrofitting parallelism onto OCaml1st Aug 2020
Bounding data races in space and time1st Jun 2018
Concurrent System Programming with Effect Handlers1st Apr 2018
Effectively tackling the awkward squad1st Sep 2017
DaLi: Database as a Library1st May 2017CUFP'13 scribe's report1st Jan 2015
Unikernels: Rise of the Virtual Library Operating System1st Nov 2013Commercial users of functional programming workshop report1st Nov 2013
Cost, Performance & Flexibility in OpenFlow: Pick three1st Jun 2012
CIEL: A universal execution engine for distributed data-flow computing1st Mar 2011