Paper on declarative approaches to foreign function bindings at FLOPS 2016
Declarative Foreign Function Binding Through Generic ProgrammingJeremy Yallop, David Sheets, and Anil Madhavapeddy.Paper in the the proceedings of Functional and Logic Programming (FLOPS).URL (link.springer.com) DOI BIB PDF
Declarative Foreign Function Binding Through Generic Programming
Jeremy Yallop, David Sheets, and Anil Madhavapeddy.
Paper in the the proceedings of Functional and Logic Programming (FLOPS).
URL (link.springer.com) DOI BIB PDF
Anil Madhavapeddy, Professor of Planetary Computing 
papers