Gert-Jan Bottu
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 1 in the filters
on a stage with
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation | Haskell Symposium 2021 | 2021-08-26 |
Formalizing a type-system family parameterized by eager vs lazy and deep vs shallow instantiation, the work proves stability properties (type-preserving let… | ||
| nothing matches | ||