embrace nondeterministic semantics for the greater good

Download paper here

Recommended citation: Alexi Turcotte. 2018. Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics. MMAth Computer Science.