Events items teaser

Master’s Thesis Presentation • Programming Languages — Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
2018-08-24 11:00 (America/Toronto) | DC - William G. Davis Computer Research Centre 200 University Avenue West 2314 Waterloo ON N2L 3G1 Canada
ALEXI TURCOTTE, MASTER’S CANDIDATE
_David R. Cheriton School of Computer Science_
