Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

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

Contributions

miniKanren 2020 ╬╗Kanren: Higher-order Logic Programming with Shallow Embedding
Show activities from other conferences

ICFP 2020-profile
View general profile