Alejandro Serrano Mena
where else to find them
linkedin:alejandroserranomena
what they talk about
all 11 in the filters
where they keep going back
- LambdaConf3 editions2015–2018
on a stage with
- Ben Burdetteonce
- Gershom Bazermanonce
- Phil Freemanonce
all 5 in the filters
who talks about the same things
- Pawel Szulc28 talks
- Michael Sperber15 talks
- Eric torreborre11 talks
- Tony Morris16 talks
- Bartosz Milewski10 talks
- Nicolas Rinaudo13 talks
| title | conference | date |
|---|---|---|
| Actions as data, continued | Lambda World 2024 | 2024-10-02 |
Kotlin coroutines convert user-friendly imperative DSLs (coin flips, loops, draw/discard) into an inspectable action ADT by marking primitives as suspend and… | ||
| Nicer data transformation with KopyKat and Optics | KotlinConf 2023 | 2023-04-12 |
Concrete tradeoffs and runnable techniques: KopyKat is a compiler plugin that gives a mutable scope API but implements it by code generation via KSP that… | ||
| Book Of Monads: An Interview | LambdaConf 2018 | 2018-06-03 |
A compact overview that promises concrete takeaways: a distillation of scattered tutorials into a practical guide that explains monad transformers, how to… | ||
| Guarded Impredicativity | LambdaConf 2018 | 2018-06-03 |
Proposes guarded impredicativity: allow impredicative instantiation only when the forall appears inside a type constructor. Gives a precise algorithm… | ||
| A Hands on Tutorial to Generic Programming in Haskell (Part 2) | LambdaConf 2018 | 2018-06-03 |
Shows how to implement concrete generic operations: a working generic equality via GHC.Generics that compiles, the from/to pattern, and a default signature… | ||
| A Hands on Tutorial to Generic Programming in Haskell (Part 1) | LambdaConf 2018 | 2018-06-03 |
Shows how Haskell’s built‑in GHC generics actually work: the U1/K1/:+:/:× building blocks, how to write/from conversions, and how GHC can auto‑derive Generic… | ||
| What is a (side) effect? | LambdaConf 2018 | 2018-06-03 |
Argues that “side effect” lacks a crisp definition and that what matters are concrete operation sets and laws: shows monads, monad transformers and free… | ||
| Variables in Haskell | LambdaConf 2017 | 2017-05-25 |
Survey of concrete mutable options: IORef/STRef for scoped mutation (runST types prevent escape), MVar semantics for take/read based synchronization and simple… | ||
| Type Inference in GHC | LambdaConf 2017 | 2017-05-25 |
GHC performs type inference in two phases: gathering then solving — it traverses code to emit a set of typed equations and class constraints, then runs a… | ||
| Pattern Functors... | LambdaConf 2015 | 2015-05-22 |
Haskell code turns data types into manipulable descriptions: a pattern functor = constructor shapes with recursion removed, tied by Fix to rebuild recursive… | ||
| Lightning Talks | LambdaConf 2015 | 2015-05-22 |
Six five- to ten‑minute demos: a workflow using GHC‑mod holes that shows Emacs keybindings, automatic case‑splits and type-driven completions that actually… | ||
| Developing Web Applications with Haskell | LambdaConf 2015 | 2015-05-22 |
Shows concrete code and a working workflow: routing and HTML generation with Spock + Blaze + Hamlet, database schema and queries with Persistent (and Esqueleto… | ||
| nothing matches | ||