Conor McBride
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 3 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Michael Sperber15 talks
- Alejandro Serrano Mena14 talks
- Harold Carr6 talks
- Pawel Szulc28 talks
- Alexander Gerasimov2 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Fulls Seldom Differ | ICFP 2025 | 2025-10-12 |
Introduces a restricted language of natural number expressions that covers doubling, iterated doubling (exponentiation), and a full operator for 2^n−1 and… | ||
| Paella: algebraic effects with parameters and their handlers | HOPE 2024 | 2024-09-02 |
Library implements algebraic effects as computation trees indexed by worlds, claiming handlers that safely support dynamically allocated full ground reference… | ||
| Monoidal Adventures | PLanQC 2024 | 2024-01-20 |
A prototype brat language encodes quantum circuits as composable monoidal pieces and enforces wiring with thinnings as bitvectors so selection and composition… | ||
| Introducing BRAT | PLanQC 2024 | 2024-01-20 |
BRAT is a functional language that interleaves quantum and classical code with linear qubit types, a kernel arrow for circuits and classical thunks for… | ||
| nothing matches | ||