Not registered as user yet

Name:Kohei Kishida
Affiliation:University of Illinois Urbana-Champaign

Contributions

POPL 2023 Proto-Quipper with dynamic lifting
Show activities from other conferences

Using general profile