Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gordon Plotkin
conf.researchr.org general profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2023 profile
Registered user since Tue 20 Oct 2015
Name:
Gordon Plotkin
Contributions
2018
POPL
Author of Some Principles of Differential Programming Languages within the Research Papers-track
2017
POPL
Author of Dijkstra Monads for Free within the POPL-track
LAFI
Author of Towards a metric semantics for probabilistic programming (invited talk) within the PPS-track
Committee Member in Program Committee within the PPS-track
2016
POPL
Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track
Share
x
Sun 22 Dec 02:26