• Sign in
  • Sign up
conf.researchr.org / Kuang-Chen Lu
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2023 profile
  • POPL 2020 profile
  • ‹Programming› 2022 profile
  • ‹Programming› 2023 profile

Registered user since Tue 2 Jul 2019

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

Contributions

2023

ICFP

  • Author of What Happens When Students Switch (Functional) Languages (Experience Report) within the ICFP Papers and Events-track

‹Programming›

  • Author of Gradual Soundness: Lessons from Static Python within the Research Papers-track

2022

‹Programming›

  • Author of Types for Tables: A Language Design Benchmark within the Research Papers-track

2020

miniKanren

  • Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track

WGT

  • Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track

2019

miniKanren

  • Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track
Share
xTue 5 Dec 22:19
using conf.researchr.org (v1.62.0)
Support page
Sign Up