Write a Blog >>

Registered user since Tue 2 Jul 2019

Name: Kuang-Chen Lu

Country: United States

Affiliation: Indiana University Bloomington

Personal website: https://lukc1024.github.io/

Research interests: Programming Language


WGT 2020Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track
Show activities from other conferences

POPL 2020-profile
View general profile