Kim Nguyễn

Registered user since Tue 7 Jun 2016

Name:Kim Nguyễn
Affiliation:University of Paris-Sud, France

Contributions

POPL 2022 On Type-Cases, Union Elimination, and Occurrence Typing
Show activities from other conferences

Using general profile