SPLASH 2021 (series) / Lionel Parreaux

Registered user since Mon 16 Jan 2017
Name:Lionel Parreaux
Country:China
Affiliation:Hong Kong University of Science and Technology
Personal website:https://www.cse.ust.hk/admin/people/faculty/profile/parreaux
Twitter:https://twitter.com/lparreaux
GitHub:https://github.com/LPTK
Contributions
Scala 2021 | Implementing Path-Dependent GADT Reasoning for Scala 3 Committee Member in Program Committee within the Scala-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile