Stephen Pimentel
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
- Philip Wadler14 talks
- Harold Carr6 talks
- Stephan Boyer4 talks
- Alejandro Serrano Mena14 talks
- Adam McCullough6 talks
- Tony Morris16 talks
| title | conference | date |
|---|---|---|
| Boolean Blindness Explained for Beginners in Haskell | LambdaConf 2019 | 2019-06-05 |
Argues that Booleans are an information-poor type and shows concrete fixes in Haskell: replace Boolean flags with pattern matching, custom ADTs or Maybe/Either… | ||
| Lightning Talk: Entity Store: A FoundationDB Layer for Versioned... | FoundationDB Summit 2018 | 2018-12-10 |
A FoundationDB-backed Python library called Entity Store provides versioned ML metadata with automatic versioning (immutable-field changes create new… | ||
| Propositions as Types for Beginners in Haskell | LambdaConf 2018 | 2018-06-03 |
Claims a practical recipe: translate a proposition into a type and then construct an inhabitant to prove it. Uses standard Haskell 2010 restricted to the sound… | ||
| nothing matches | ||