• Sign in
  • Sign up
conf.researchr.org / Paul Blain Levy
  • ETAPS 2019 profile
  • ICFP 2020 profile
  • POPL 2017 profile
Paul Blain Levy

Registered user since Fri 3 Jul 2015

Name:Paul Blain Levy
Country:United Kingdom
Affiliation:University of Birmingham
Personal website: http://www.cs.bham.ac.uk/~pbl/

Contributions

2020

HOPE

  • Invited Speaker of Variants of call-by-push-value within the HOPE 2020-track

2019

FOSSACS

  • Committee Member in Program Committee within the FOSSACS 2019-track

GaLoP

  • Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track

2017

POPL

  • Author of Contextual isomorphisms within the POPL-track

LAFI

  • Author of Commutativity logic for probabilistic trace equivalence: complete or not? within the PPS-track
Share
xMon 4 Dec 01:03
using conf.researchr.org (v1.62.0)
Support page
Sign Up