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