Weixi Ma
where else to find them
no profile links on file
what they talk about
where they keep going back
- TyDe2 editions2023–2025
on a stage with
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Gradual Metaprogramming | TyDe 2025 | 2025-10-12 |
A calculus called MetaGTLC models a gradually typed metalanguage that generates statically typed object code and compiles to an explicit cast calculus MetaCC… | ||
| F3: A Compiler For Feature Engineering | FUNARCH 2024 | 2024-09-06 |
F3 is a Python DSL and compiler that converts feature pipelines into a canonical semantic form so the system can prove equivalence, move filters safely across… | ||
| A Type System For Feature Engineering (Extended Abstract) | TyDe 2023 | 2023-09-04 |
Built a small compiler for F3-style SQL DSL at Meta and demonstrates a dependent type system (inspired by Martin-Löf) that stores normal forms to make… | ||
| λKanren: Higher-order Logic Programming with Shallow Embedding | miniKanren 2020 | 2020-08-27 |
λKanren is a shallow‑embedding of a subset of higher‑order hereditary Harrop formulas built by adding about 40 lines to the TRS2 chapter 10 miniKanren core… | ||
| nothing matches | ||