Reasoning About FFIs Using Nondeterministic Semantics (Thesis)

Published in University of Waterloo, 2018

Recommended citation: Alexi Turcotte. 2018. Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics. MMAth Computer Science. http://reallytg.github.io/files/papers/thesis.pdf