Georgios Karachalias
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2021
on a stage with
all 5 in the filters
who talks about the same things
- Tom Schrijvers16 talks
- Klaus Ostermann14 talks
- Jonathan Immanuel Brachthäuser22 talks
- Philipp Schuster13 talks
- Lionel Parreaux19 talks
- Ondřej Lhoták11 talks
| title | conference | date |
|---|---|---|
| Crème de la Crem: Composable Representable Executable Machines | FUNARCH 2023 | 2023-09-08 |
Describes building software architectures by composing state machines using Domain-Driven Design principles, emphasizing modularity and keeping implementation… | ||
| Efficient Compilation of Algebraic Effect Handlers | OOPSLA 2021 | 2021-10-17 |
An optimizing Eff→OCaml compiler is implemented that uses a two-phase ExEff/NoEff pipeline with type-and-effect directed rewrites, function specialization and… | ||
| Resolution as Intersection Subtyping via Modus Ponens | OOPSLA 2020 | 2020-11-15 |
Integrates resolution into coercive subtyping with intersection types by adding a modus ponens rule that, when a context type is both a function and its… | ||
| nothing matches | ||