june wunder
where else to find them
website:http://www.junewunder.com
github:junewunder
bluesky:junewunder.com
mastodon:@junewunder@mathstodon.xyz
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Pipelines and Beyond: Graph Types for ADTs with Futures | POPL 2024 | 2024-01-14 |
Extends graph types to let futures live inside recursive ADTs by indexing datatypes with a codata vertex structures that supply unique vertex names, proving… | ||
| nothing matches | ||