Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kim Nguyễn
conf.researchr.org general profile
ESOP 2015 profile
ICFP 2016 profile
ICFP 2018 profile
ICFP 2019 profile
PLDI 2019 profile
POPL 2017 profile
POPL 2022 profile
Registered user since Tue 7 Jun 2016
Name:
Kim Nguyễn
Country:
France
Affiliation:
Université Paris-Saclay
Contributions
POPL 2022
Author of On Type-Cases, Union Elimination, and Occurrence Typing within the POPL-track
ICFP 2019
Committee Member in External Review Committee within the Research Papers-track
DBPL 2019
PC Co-Chair in Program Committee within the DBPL 2019-track
Session Chair of Welcome (part of DBPL 2019)
Co-chair in Organizing Committee within the DBPL 2019-track
ICFP 2018
Committee Member in External Review Committee within the Research Papers-track
POPL 2017
Student Research Competition Chair in Organizing Committee
Student Research Competition Chair in Selection Committee within the Student Research Competition-track
Session Chair of Poster Session (part of Student Research Competition)
Session Chair of Student Competition Award (part of Student Research Competition)
ICFP 2016
Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track
ESOP 2015
Author of A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches within the ESOP-track
Share
x
Mon 29 May 20:31