Patricia Johann
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Enrico Ghiorzionce
- Pierre Cagneonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Characterizing functions mappable over GADTs | APLAS 2022 | 2022-12-05 |
An algorithm takes a term t and a type-formula specification Phi and returns constraints that exactly characterize which functions are mappable over t; it… | ||
| (Deep) Induction Rules for GADTs | CPP 2022 | 2022-01-17 |
Extends structural induction so it actually proves properties of many GADTs by deriving deep induction rules for non-truly-nested GADTs using an equal type and… | ||
| nothing matches | ||