A modular foreign function interface

Jeremy Yallop, David Sheets, and Anil Madhavapeddy. In Science of Computer Programming. .Jeremy YallopDavid SheetsAnil Madhavapeddy

#ocaml#ffi#staged#journal#ocamllabs
A modular foreign function interface

Abstract

No abstract available

Related

AoAH Day 6: Getting a Yaml 1.2 implementation in pure OCamlDec 2025
Implementing a pure OCaml Yaml 1.2 parser using bytesrw by synthesizing from the specification and existing C library behavior, passing thousands of test suite cases while being 20% faster than the C-based implementation.
A modular foreign function interfaceOct 2018
Journal paper on building modular foreign function interfaces.
OCaml LabsJan 2012