conf.researchr.org / Kuang-Chen Lu

Registered user since Tue 2 Jul 2019

Name:Kuang-Chen Lu
Country:United States
Affiliation:Brown University, USA
Personal website:https://lukc1024.github.io/
GitHub:https://github.com/lukc1024
Research interests:Programming Languages, CS Education

Contributions

‹Programming› 2022 Author of Types for Tables: A Language Design Benchmark within the Research Papers-track
miniKanren 2020 Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track
WGT 2020 Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track
miniKanren 2019 Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track