Jim Duey
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- LambdaConf5 editions2017–2025
on a stage with
never shared a talk
who talks about the same things
- Aditya Siram6 talks
- Pawel Szulc28 talks
- Douglas A. Creager6 talks
- Nicolas Rinaudo13 talks
- Nada Amin26 talks
- Jeanine Adkisson3 talks
| title | conference | date |
|---|---|---|
| Recursion Schemes in Plain Language | LambdaConf 2025 | 2025-05-12 |
Recursion schemes claim that walking a recursive structure is separable from the operation applied at each node, so separates traversal from node logic and… | ||
| The Best We Can Do? | LambdaConf 2024 | 2024-05-04 |
Claim: compiling high-level code to a graph and doing local graph reduction yields massive parallelism. Prototype compiles to HML, stores programs as graphs… | ||
| Back to Front and Beyond | LambdaConf 2019 | 2019-06-05 |
A new Lisp-like language compiles to C/LLVM, implements reference counting GC with tail-call optimization, immutable collections with transient-style in-place… | ||
| Typing a LISP | LambdaConf 2018 | 2018-06-03 |
A Lisp dialect called Takada claims to give static-typing benefits while staying dynamic: a gradual algebraic dependent type system that uses runtime… | ||
| Towards the Next Great Language | LambdaConf 2017 | 2017-05-25 |
Progress report on Toccata with concrete results not promises: the repo now builds a minimal HelloWorld and the compiler compiles to C and LLVM, the demo shows… | ||
| nothing matches | ||