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
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