Declarative Foreign Function Binding Through Generic Programming / Feb 2016
Paper on declarative approaches to foreign function bindings at FLOPS 2016 with Jeremy Yallop and David Sheets. The work addressed a fundamental problem with FFI systems: they typically tie the specification of foreign functions to a specific binding mechanism, making it hard to switch between dynamic binding and static code generation. Our approach using generic programming allowed developers to write FFI specifications once and then flexibly choose the binding strategy, demonstrating the power of abstraction in systems programming.