Giuseppe Castagna
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2022–2024
all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Mickaël Laurent2 talks
- Nicolas Tabareau14 talks
- Aleksander Boruch-Gruszecki9 talks
- Matthew Lutze5 talks
- Ondřej Lhoták11 talks
- Jonathan Aldrich17 talks
| title | conference | date |
|---|---|---|
| Polymorphic Records for Dynamic Languages | OOPSLA 2025 | 2025-10-16 |
Extends semantic subtyping to support row polymorphism alongside union, intersection and negation types, defines a λ-calculus with record extension, selection… | ||
| Polymorphic Type Inference for Dynamic Languages | POPL 2024 | 2024-01-14 |
Claims a type system that combines first‑order polymorphism with intersection, union and semantic subtyping and proves safety; it gives unannotated functions… | ||
| Invited Talk: A Type System for Elixir | Erlang 2023 | 2023-09-04 |
A formal calculus uses set-theoretic types (union, intersection, negation, singletons) and implements pattern/guard inference that computes possible/surely… | ||
| Typing Records, Maps, and Structs | ICFP 2023 | 2023-09-04 |
Proposes a type theory that unifies struct-style and map-style records with union, intersection, and negation types, models record values as quasi-constant… | ||
| On Type-Cases, Union Elimination, and Occurrence Typing | POPL 2022 | 2022-01-16 |
Extends union/intersection type systems with a concrete type-case construct and proves the union-elimination plus type-case rules capture occurrence typing… | ||
| nothing matches | ||