Lander Lopez
where else to find them
what they talk about
where they keep going back
- LambdaConf2 editions2018–2019
on a stage with
never shared a talk
who talks about the same things
- Lars Hupel11 talks
- Alexander Konovalov8 talks
- Vlad Patryshev11 talks
- Stephan Boyer4 talks
- Pawel Szulc28 talks
- Dana Scott11 talks
| title | conference | date |
|---|---|---|
| What FP Can Learn From Formal Languages: Towards a Leaner Syntax | LambdaConf 2019 | 2019-06-05 |
Argues that much syntactic overhead is accidental and shows concrete experiments: code in Haskell and Scala, property-based testing and example generation… | ||
| Set Theoretic Algebraic Constructive Calculus | LambdaConf 2018 | 2018-06-03 |
Claims a set‑theoretic dependent calculus (Stacc) that encodes types as sets of predicates and uses union for application and coproducts for data, demonstrates… | ||
| nothing matches | ||