Robert Wright
where else to find them
no profile links on file
what they talk about
where they keep going back
- TyDe2 editions2022–2024
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract) | TyDe 2024 | 2024-09-06 |
Library for Idris 2 that reinterprets fragments of host syntax at compile time to give user-definable deeply embedded many-sorted algebras without changing… | ||
| Idris2-Table: Evaluating dependently-typed tables with... (Extended Abstract) | TyDe 2022 | 2022-09-11 |
Built an Idris 2 library that encodes table schemas as dependent types and implements the Brown Benchmark for Table Types examples and programs, covering… | ||
| nothing matches | ||