Modelling FFI Without Modelling Foreign LanguageDate: July 15, 2019i gave a talk on how to reason about ffis without (fully) modelling the foreign languageMore information hereLink to the talkShare on Twitter Facebook Google+ LinkedIn