Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mitchell Wand
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2021 profile
PLDI 2021 profile
POPL 2016 profile
POPL 2018 profile
SPLASH 2021 profile
Registered user since Wed 22 Jul 2015
Name:
Mitchell Wand
Affiliation:
Northeastern University, USA
Personal website:
http://www.ccs.neu.edu/home/wand/
Contributions
SPLASH 2021
Committee Member in Review Committee within the OOPSLA-track
ICFP 2021
Committee Member in Program Committee within the Research Papers-track
HOPL IV
Author of Hygienic Macro Technology within the Papers-track
ICFP 2018
Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the Research Papers-track
PPS 2018
Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the PPS 2018-track
ICFP 2017
Author of Inferring Scope through Syntactic Sugar within the Research Papers-track
PPS 2016
Session Chair of Session 3 (part of PPS 2016)
Committee Member in Program Committee within the PPS 2016-track
Author of Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs within the PPS 2016-track
Share
x
Sat 28 Jan 00:32