Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Conor McBride
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
POPL 2017 profile
POPL 2018 profile
POPL 2026 profile
Not registered as user
Name:
Conor McBride
Contributions
2026
WITS
Committee Member in Program Committee within the WITS-track
2019
TyDe
Invited Speaker of Cubes, Cats, Effects within the TyDe 2019-track
2018
ICFP
Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
POPL
Committee Member in Program Committee within the Research Papers-track
2017
PLMW
Author of A Few Frank Remarks within the PLMW 2017-track
POPL
Author of Do be do be do within the POPL-track
CPP
Author of Type-and-scope safe programs and their proofs within the CPP-track
2016
ICFP
Committee Member in External Review Committee within the Research Papers-track
Share
x
Mon 27 Oct 20:10