Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Weixi Ma
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
Registered user since Tue 17 Nov 2015
Name:
Weixi Ma
Country:
United States
Affiliation:
Meta
Research interests:
Programming Languages
Contributions
2024
FUNARCH
Author of F3: A Compiler For Feature Engineering within the FUNARCH 2024-track
miniKanren
Committee Member in Program Committee within the miniKanren 2024-track
2023
TyDe
Author of A Type System For Feature Engineering (Extended Abstract) within the TyDe 2023-track
2022
miniKanren
PC Member in Program Committee within the miniKanren 2022-track
2021
miniKanren
Author of A New Higher-order Unification Algorithm for λKanren within the miniKanren 2021-track
2020
miniKanren
Session Chair of Afternoon Session (part of miniKanren 2020)
Author of λKanren: Higher-order Logic Programming with Shallow Embedding within the miniKanren 2020-track
2019
miniKanren
Author of Towards a miniKanren with fair search strategies within the miniKanren 2019-track
2018
Scheme
Author of A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie within the Scheme 2018-track
Share
x
Sun 22 Dec 16:54
