Alejandro Serrano
where else to find them
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 17 in the filters
who talks about the same things
- Bartosz Milewski10 talks
- Alexander Konovalov8 talks
- Noel Welsh16 talks
- Alejandro Serrano Mena14 talks
- Pawel Szulc28 talks
- Daniela Sfregola11 talks
| title | conference | date |
|---|---|---|
| Haskell The Legend of DSLs | ZuriHac 2022 | 2022-06-15 |
Builds a small DSL for a trading card game: ADTs for cards, ten energy types, attacks with costs and damage, and actions that include coin flips and loops… | ||
| Haskell Adventures in IO | ZuriHac 2022 | 2022-06-15 |
Hands-on walkthrough of building a cloud dice game in Haskell that actually runs: a TCP server using network-simple, clients using connect, message formats… | ||
| A Quick Look at Impredicativity | ICFP 2020 | 2020-08-23 |
A design called Quick Look phase adds a localized instantiation pass to GHC that discovers impredicative instantiations by peeking at arguments and nested… | ||
| Unconference | Lambda World Cádiz 2019 | 2019-10-17 |
Survey of concrete outcomes and tools: a research demo shows higher inductive types in Agda letting data types encode equalities (e.g. plus and minus zero… | ||
| Going Higher | Lambda World 2017 | 2017-10-26 |
Covers three concrete capabilities and tradeoffs: higher-order functions let code accept behavior—for example merge with conflict resolver that takes a… | ||
| Teaching functional programming in the ivory tower ... and in the kitchen | Lambda World 2017 | 2017-10-26 |
Panel compares concrete training tactics and outcomes: industry teams adopt Scala in 2014 to tackle concurrency, distribution and eventual consistency, with… | ||
| Category Theory Through Functional Programming (part 3/3) | LambdaConf Winter Retreat 2017 | 2017-01-08 |
Covers concrete claims and examples: Yoneda lemma isomorphism between natural transformations and K C, the diagonal functor being left adjoint to product with… | ||
| Category Theory Through Functional Programming (part 2/3) | LambdaConf Winter Retreat 2017 | 2017-01-08 |
Explains concrete equivalences and code-level shapes: the category of endofunctors is monoidal under composition with Identity as unit, monads are monoid… | ||
| Category Theory Through Functional Programming (part 1/3) | LambdaConf Winter Retreat 2017 | 2017-01-08 |
A practical walk through category theory implemented in Haskell and Scala using real code that typechecks and illustrates concepts: categories encoded as types… | ||
| nothing matches | ||