Chuta Sano
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Ryan Kavanagh3 talks
- Brigitte Pientka15 talks
- Deepak Garg18 talks
- Bernardo Toninho6 talks
- Peter Thiemann15 talks
- Nobuko Yoshida13 talks
| title | conference | date |
|---|---|---|
| Fusing Session-Typed Concurrent Programming into Functional Programming | ICFP 2025 | 2025-10-12 |
FuSes embeds a session-typed process calculus inside a pure functional language and ships a formal type system with operational semantics and a machine-checked… | ||
| Split Decisions: Explicit Contexts for Substructural Languages | CPP 2025 | 2025-01-20 |
Contexts as Resource Vectors frames contexts as lists whose entries carry tags from a resource algebra so consumption means changing tags rather than removing… | ||
| Mechanizing Session-Types using a Structural View: Enforcing Linearity without ... | OOPSLA 2023 | 2023-10-23 |
Claims a method that removes linear contexts by embedding linearity as local predicates, mechanizes a session-typed CP variant called structural classical… | ||
| nothing matches | ||