• Sign in
  • Sign up
conf.researchr.org / Akira Yoshimizu
  • POPL 2017 profile
  • POPL 2019 profile

Registered user since Mon 5 Nov 2018

Name:Akira Yoshimizu
Affiliation:INRIA
Personal website:http://www.cs.unibo.it/~akira.yoshimizu/

Contributions

POPL 2019 Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track
POPL 2017 Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track

Share
xSat 21 May 15:05
using conf.researchr.org (v1.55.6)
Support page
Sign Up