Registered user since Tue 24 Mar 2020
Name:Ende Jin
Contributions
miniKanren 2021 | Universal Quantification and Implication in miniKanren | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile
Registered user since Tue 24 Mar 2020
Contributions
miniKanren 2021 | Universal Quantification and Implication in miniKanren | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |