
Registered user since Sat 14 Aug 2021
Name:Evan Donahue
Affiliation:University of Tokyo
Contributions
miniKanren 2021 | Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile