Registered user since Sun 17 Aug 2014
Contributions
| DeclMed 2023 | Committee Member in Program Committee within the DeclMed 2023-track | ||||||||||||||||||||||||||||||||||||||||
| miniKanren 2023 | Co-chair in Program Committee within the miniKanren 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile