Ellen Arteca

Ellen Arteca

PhD student at Northeastern University, working in programming languages research, with a focus on program analysis

Reasoning About Foreign Function Interfaces Without Modelling the Foreign Languages

Published in ECOOP, 2019

Access paper here

Watch conference talk 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.