Alexis King
where else to find them
website:https://lexi-lambda.github.io
github:lexi-lambda
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
who talks about the same things
- Nicolas Stucki3 talks
- Matthias Felleisen10 talks
- Erik Osheim5 talks
- Michael Ballantyne4 talks
- Aditya Siram6 talks
- Dave Gurnell7 talks
| title | conference | date |
|---|---|---|
| Delimited Continuations, Demystified | ZuriHac 2023 | 2023-06-10 |
GHC gains native first-class delimited continuations in GHC 9.6, implemented as a small runtime patch completed after a three‑year proposal cycle and finished… | ||
| A look across the pond: a comparison between GHC and Racket compilation models | HIW 2022 | 2022-09-11 |
GHC’s workflow requires running cabal and GHC subprocesses, using commands like GHC pkg dump and cabal build --write-ghc-environment-files, and sometimes… | ||
| Macros for Domain-Specific Languages | OOPSLA 2020 | 2020-11-15 |
Presents an implementation of a two-layer expander API for Racket that lets internal DSLs get their own expander and compiler while reusing host services like… | ||
| Hackett: a metaprogrammable Haskell | Strange Loop 2018 | 2018-09-26 |
Hackett embeds the Haskell type system inside Racket’s macro system and implements interleaved macroexpansion and typechecking (based on POPL 2017) so macros… | ||
| nothing matches | ||