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
ICFP/SPLASH 2025 profile
Registered user since Tue 17 Nov 2015
Name:
Weixi Ma
Country:
United States
Affiliation:
Meta
Research interests:
Programming Languages
Contributions
2025
TyDe
Author of Gradual Metaprogramming within the TyDe 2025-track
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
Tue 23 Sep 01:06
