Joachim Breitner
where else to find them
mastodon:@nomeata@mastodon.online
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Andreas Klebingeronce
- Andreas Rossbergonce
- Conrad Wattonce
all 20 in the filters
who talks about the same things
- Lennart Augustsson10 talks
- Conrad Watt12 talks
- Philippa Gardner17 talks
- Deepak Garg18 talks
- Dongjun Youn2 talks
- Michel Steuwer17 talks
| title | conference | date |
|---|---|---|
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| More Fixpoints! | ICFP 2023 | 2023-09-04 |
Library implements lazy sets and lazy booleans by wrapping an imperative propagator network behind a pure API using unsafePerformIO, so recursive equations… | ||
| The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... | ICFP 2023 | 2023-09-04 |
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as… | ||
| GHC Proposal Presentations | Haskell Symposium 2022 | 2022-09-15 |
Four concrete GHC proposals get short technical pitches and status updates: partial type synonyms let type synonyms contain wildcards that elaborate into extra… | ||
| Lightning Talk Slot #5: More recursive equations | HIW 2022 | 2022-09-11 |
Claims a pure safe API for recursive sets that admits cyclic recursive equations and computes transitive closure without explicit loops. Implements sets by… | ||
| nothing matches | ||