Talks and presentations

Modelling FFI Without Modelling Foreign Language

July 15, 2019

Conference Talk, ECOOP, London, UK

i gave a talk on how to reason about ffis without (fully) modelling the foreign language