• Sign in
  • Sign up
conf.researchr.org / Weixi Ma
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
Weixi Ma

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
xSat 17 May 05:58
using conf.researchr.org (v1.69.0)
Support page
Sign Up