Skye Soss
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- John Reppy2×
- Benjamin Quiringonce
- Byron Zhongonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages | ICFP 2025 | 2025-10-12 |
An abstract-interpretation analysis discovers which free-variable bindings are always shared so callers can supply environments instead of heap-allocating… | ||
| A Type- And Control- Flow Analysis for System FC (Extended Abstract) | TyDe 2024 | 2024-09-06 |
Presents a higher-order control- and type-flow analysis that handles System FC coercions and witnesses by extending standard CFA bookkeeping to track… | ||
| nothing matches | ||