Atsushi Igarashi
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 4 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Taro Sekiyama12 talks
- Eric Giovannini2 talks
- Éric Tanter12 talks
- Matías Toro6 talks
- Takeshi Tsukada16 talks
- Max S. New8 talks
| title | conference | date |
|---|---|---|
| Space-Efficient Polymorphic Gradual Typing, Mostly Parametric | PLDI 2024 | 2024-06-24 |
Claim: space-efficient gradual typing becomes possible when polymorphism is restricted to mostly parametric, meaning parametricity is enforced only for… | ||
| Is Space-Efficient Polymorphic Gradual Typing Possible? | Scheme 2021 | 2021-08-27 |
Argument shows that preserving parametric polymorphism plus standard gradual-typing guarantees prevents a generic space-efficient implementation: a formal… | ||
| Signature restriction for polymorphic algebraic effects | ICFP 2020 | 2020-08-23 |
Proposes signature restriction on effect interfaces: require each bound type variable to occur only strictly positively in argument positions and only… | ||
| Dependently Typed Multi-Stage Programming, Revisited | PEPM 2020 | 2020-01-20 |
Presents a core calculus called lambda_MD that extends metal-style multi-stage programming with full-spectrum dependent types, implements cross-stage… | ||
| nothing matches | ||