Chung-chieh Shan
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| All for one and none forall: Compiling polymorphic relations without(…) | miniKanren 2026 | 2026-08-24 |
Claims a compiler pass for semiringKanren that removes type variables without monomorphization by compiling polymorphic relations into one canonical small… | ||
| Committing to the bit: Relational programming with semiring arrays and SAT solving | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
SemiringKanren implements relations as multi-dimensional semiring arrays evaluated with a bottom-up fixpoint strategy, compiles algebraic types to bitstring… | ||
| Exact Recursive Probabilistic Programming | OOPSLA 2023 | 2023-10-23 |
A probabilistic programming compiler called Purple expresses unbounded recursion and then eliminates recursive data types using defunctionalization and… | ||
| nothing matches | ||