Journal paper on building modular foreign function interfaces in Science of Computer Programming with Jeremy Yallop and David Sheets. This expanded our FLOPS work into a comprehensive treatment of how to structure FFI systems modularly. The approach separated the what (function specifications) from the how (binding mechanisms), enabling the same specification to be used with different backends - a pattern that has since influenced FFI design in other languages.
Read more about A modular foreign function interface.