Vasco T. Vasconcelos
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 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A silent semantics for isorecursive session types | ST30 2023 | 2023-10-22 |
Claim: isorecursive session types can often avoid runtime roll/unroll if all recursions are contractive isorecursive types, and an algorithm extracts adapter… | ||
| What we learned from writing a book about session types | ST30 2023 | 2023-10-22 |
A book documents a concrete development path: start from a minimal session calculus with a double-binder design, no primitive data, and mechanized-free proofs… | ||
| Parameterized Algebraic Protocols | PLDI 2023 | 2023-06-17 |
The work defines algebraic session types that name recursion like algebraic datatypes and claim type equivalence becomes linear-time nominal check instead of… | ||
| nothing matches | ||