• Sign in
  • Sign up
conf.researchr.org / Gordon Plotkin
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2023 profile
No Photo

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
xFri 23 May 09:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up