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