Alexander Konovalov
where else to find them
no profile links on file
what they talk about
where they keep going back
- LambdaConf2 editions2018–2019
on a stage with
who talks about the same things
- Zainab Ali10 talks
- Daniela Sfregola11 talks
- Alejandro Serrano9 talks
- Bartosz Milewski10 talks
- Pawel Szulc28 talks
- Emily Pillmore5 talks
| title | conference | date |
|---|---|---|
| Isomorphic Reasoning: Counting with Types Part 1 | LambdaConf 2019 | 2019-06-05 |
Claim: parametric polymorphism gives a hidden type arithmetic that lets one compute exact inhabitant counts (e.g. ∀a. a→a is unique, function types count as… | ||
| Isomorphic Reasoning: Counting with Types Part 2 | LambdaConf 2019 | 2019-06-05 |
This is a 3 video talk; Please see:
Part 1: https://youtu.be/ApHFidwNypE
Part 3: https://youtu.be/kKZTd7D33KY
*We are aware of the sound issue for parts 2 and… | ||
| Isomorphic Reasoning: Counting with Types Part 3 | LambdaConf 2019 | 2019-06-05 |
This is a 3 video talk; Please see:
Part 1: https://youtu.be/ApHFidwNypE
Part 2: https://youtu.be/UScWv37aJhY
*We are aware of the sound issue for parts 2 and… | ||
| Recursion Schemes, Algebras, Finally Tagless, Data Types | LambdaConf 2019 | 2019-06-05 |
Claims a single unifying fact: many FP encodings are isomorphic and mechanically transformable. Demonstrates the isomorphism between fold and data… | ||
| Practical Observable Sharing | LambdaConf 2019 | 2019-06-05 |
Solves two concrete problems: generate an EBNF and decide nullability from finally‑tagless applicative parsers, and simplify a logical‑circuit DSL and emit a… | ||
| Hands on Chat About Categories | LambdaConf 2018 | 2018-06-03 |
Concrete mappings and runnable examples: definitions of objects, morphisms, identities, composition, Cartesian closed ↔ functions and tuples, explicit… | ||
| ScalaFiddle and Categories | LambdaConf 2018 | 2018-06-03 |
Scala codebase adds concrete support for subcategories and categorical abstractions: an experimental SAP cats package, references to SAAP cask and Category… | ||
| The Leibniz Library and Applied Propositions as Types | LambdaConf 2018 | 2018-06-03 |
Library implements Leibniz equality, coercion, substitution and composition in Scala, with proofs encoded as types and macros to produce runtime evidence. It… | ||
| nothing matches | ||