Irene Yoon
where else to find them
no profile links on file
what they talk about
where they keep going back
- ICFP2 editions2022–2025
on a stage with
- Aditi Kabraonce
- Adrian Sampsononce
- Chris Casinghinoonce
all 11 in the filters
who talks about the same things
- Aditi Kabra3 talks
- François Pottier14 talks
- Adrian Sampson5 talks
- Jonathan Aldrich17 talks
- Théo Winterhalter14 talks
- Éric Tanter12 talks
| title | conference | date |
|---|---|---|
| Formal Semantics and Program Logics for a Fragment of OCaml | ICFP 2025 | 2025-10-12 |
Defines OLang, a sequential OCaml fragment with first-class functions, extensible ADTs, pattern matching, references, exceptions and effect handlers, and gives… | ||
| Flambda2 Validator | OCaml 2024 | 2024-09-07 |
A validation tool implements translation validation by translating Flambda2 into a lightweight Flambda2 core lambda-style IR and a normalization scheme that… | ||
| Formal Reasoning about Layered Monadic Interpreters | ICFP 2022 | 2022-09-11 |
Extends the Coq interaction trees (ITrees) library to characterize a class of interpretable monads obtained by applying monad transformers to ITrees, gives… | ||
| Geometry Types for Graphics Programming | OOPSLA 2020 | 2020-11-15 |
Defines geometry types that tag vectors with coordinate scheme, geometric object, and reference frame, and implements them in a new language called Gator with… | ||
| nothing matches | ||