Mitchell Wand - POPL 2016

Registered user since Wed 22 Jul 2015

Name:Mitchell Wand

Affiliation:Northeastern University

Contributions

PPS 2016	Session Chair of Session 3 (part of PPS 2016) Committee Member in Program Committee within the PPS 2016-track Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs
Show activities from other conferences