Weixi Ma -

Registered user since Tue 17 Nov 2015

Name:Weixi Ma

Affiliation:Indiana University

Contributions

miniKanren 2022	PC Member in Program Committee within the miniKanren 2022-track
miniKanren 2021	Author of A New Higher-order Unification Algorithm for λKanren within the miniKanren 2021-track
miniKanren 2020	Session Chair of Afternoon Session (part of miniKanren 2020) Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track
miniKanren 2019	Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track
Scheme 2018	Author of A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie within the Scheme 2018-track