
Registered user since Sun 17 Aug 2014
Contributions
Scheme 2021 | Prototypes: Object-Orientation, Functionally | ||||||||||||||||||||||||||||||||||||||||
miniKanren 2021 | Prolog-Style Meta-Programming miniKanren Adventures in extending miniKanren | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile