Bernardo Toninho
where else to find them
linkedin:bernardo-toninho-b481b2119
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Brigitte Pientkaonce
- Chuta Sanoonce
- Deepak Gargonce
all 14 in the filters
who talks about the same things
- Luís Caires3 talks
- Deepak Garg18 talks
- Chuta Sano3 talks
- Brigitte Pientka15 talks
- Robert Griesemer5 talks
- Philip Wadler14 talks
| title | conference | date |
|---|---|---|
| Lazy Linearity for a Core Functional Language | POPL 2026 | 2026-01-11 |
Linear Core statically accepts Haskell-style lazy semantic linearity and proves soundness by an instrumented big-step semantics that tracks runtime resource… | ||
| 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… | ||
| Intuitionistic Metric Temporal Logic | PPDP 2023 | 2023-10-22 |
Defines Intuitionistic Metric Temporal Logic (IMTL) that extends intuitionistic temporal calculi to dense time with explicit intervals and gives every proof a… | ||
| Featherweight Go | OOPSLA 2020 | 2020-11-15 |
Defines a minimal core language Featherweight Go (FG) and its generic extension Featherweight Generic Go (FGG), proves a semantics-by-translation claim that… | ||
| nothing matches | ||