Steven Libby
where else to find them
no profile links on file
what they talk about
where they keep going back
- PADL2 editions2023–2025
on a stage with
- Vincent Robinsononce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| The Scenic Route to Deforestation | PADL 2025 | 2025-01-20 |
Proves that foldr/build deforestation is correct for Curry in most cases by translating Curry to cumin then to the deterministic Salt language and using free… | ||
| RICE: An Optimizing Curry Compiler | PADL 2023 | 2023-01-16 |
RICE is written entirely in Curry and turns Curry source into a C backend via an imperative IL called ICurry, using AST-to-AST transformations (fixed‑point… | ||
| nothing matches | ||