FabULous Interoperability for ML and a Linear Language. - Gabriel Scherer; Max S. New; Nicholas Rioux; Amal Ahmed 001 (CoRR, 2017)