Modelling FFI Without Modelling Foreign Language

Date:

More information here

ill be giving a talk on how to reason about ffis without modelling the foreign language