Reasoning About Foreign Function Interfaces Without Modelling the Foreign Languages

Published in ECOOP, 2019

Access paper here

Introducing nondeterministic semantics to allow us some metatheory in a well typed language with a foreign function interface, without requiring the full semantics of the foreign language.

Recommended citation: Turcotte, Alexi, Ellen Arteca, and Gregor Richards. “Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language.” In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019.