Not registered as user yet

Name:Kohei Kishida
Country:United States
Affiliation:University of Illinois at Urbana-Champaign

Contributions

POPL 2023 Proto-Quipper with Dynamic Lifting
Show activities from other conferences

POPL 2023-profile
View general profile