Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language

Alexi Turcotte, Ellen Arteca, Gregor Richards. Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Authors

Alexi Turcotte

This author has not been identified. Look up 'Alexi Turcotte' in Google

Ellen Arteca

This author has not been identified. Look up 'Ellen Arteca' in Google

Gregor Richards

This author has not been identified. Look up 'Gregor Richards' in Google