conf.researchr.org / Akira Yoshimizu

Registered user since Mon 5 Nov 2018

Name: Akira Yoshimizu

Affiliation: INRIA

Personal website: http://www.cs.unibo.it/~akira.yoshimizu/

Contributions

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