|
Alexander KonovalovI am an Analytics engineer at Compellon. Interested in functional programming, reverse engineering, type theory, category theory, machine learning. |
|
Posts
- Logging - February 3, 2020
- Variance - February 3, 2020
- Referring to arguments by their type. - February 3, 2020
- Free theorems. - February 3, 2020
- Equality - February 3, 2020
- Any is a final object. - February 3, 2020
- Anti-patterns (WIP) - February 2, 2020
- Software testing - August 27, 2019
- Counting type inhabitants. - April 20, 2019
- Algebra Chapter 0 notes - April 9, 2019
- Recursion schemes. - November 24, 2018
- Typeclasses, Propositions, Data types - August 21, 2018
- Ramblings about Void. - August 9, 2018
- Why identity of indiscernibles? - November 2, 2020
- Python Generator DSLs - November 2, 2020
- Monoidal hashing - June 29, 2020
- Handling function partiality - June 28, 2020
Talks & Presentations
-
Recursion: schemes, algebras, finally tagless, data types
Presented at Lambdaconf 2019 and ScalaMatsuri 2019.
-
Isomorphic Reasoning: Counting Polymorphic Type Inhabitants
Presented at Lambdaconf 2019.
Publications
- Learning
to Extract Events from Knowledge Base Revisions
Alexander Konovalov, Benjamin Strauss, Alan Ritter and Brendan O'Connor
Proceedings of WWW 2017
Presentation is available online.