Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 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


miniKanren 2020Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track
Show activities from other conferences

Using general profile