Talks
-
Recipes with Rapier: Working with Bound Variables Without Unnecessary Cuts
[Russian]
«Рецепты с рапирой: работаем со связанными переменными без лишних порезов»
JointRefal — META program summer internship seminar
-
Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
WITS 2025 — Workshop on Implementation Techniques for Semantics
-
Towards Generic Higher-Order Unification Implementations in Haskell
WITS 2025 — Workshop on Implementation Techniques for Semantics
-
Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
ICCQ 2024 — 4th International Conference on Code Quality
-
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
TFP 2024 — Trends in Functional Programming
-
Teaching Type Systems Implementation with Stella
TFPiE 2024 — 13th Workshop on Trends in Functional Programming in Education
-
Rzk demo and tutorials
HoTT seminar, Bauman Moscow State Technical University
-
Rzk proof assistant and simplicial HoTT formalization
HoTTEST — Homotopy Type Theory Electronic Seminar Talks
-
Rzk and formalising synthetic ∞-category theory
Interactions of Proof Assistants and Mathematics (ITP School)
-
Deriving Higher-Order Unification in Haskell
WITS 2023 — Workshop on Implementation Techniques for Semantics, co-located with IFL 2023
-
Experimental Prover for Tope Logic
SCAN 2023 — Workshop on Semantical and Computational Aspects of Non-Classical Logics
-
Rzk Proof Assistant and Simplicial HoTT Formalisation
[Russian]
STEP — russian seminar on Software Engineering, Theory and Experimental Programming
-
Propositions as Types
[Russian]
«Высказывания и Типы»
Department of Algorithmic Languages, Lomonosov Moscow State University
-
An approach to modular multi-agent system design
[Russian]
«Подход к проектированию модульных многоагентных систем»
Lomonosov readings 2016
Software Engineering Talks
-
Constructing a DSL for composable reports in Haskell
LambdaConf 2019
-
Augmenting Reality in Haskell
LambdaConf 2019
-
Building a Telegram Bot in Haskell
LambdaConf 2018
-
Functional Virtual Reality: WebVR + Haskell
f(by) 2017
-
Building a Telegram Bot in Haskell
[English and Russian]
f(by) 2017
-
Functional Virtual Reality: WebVR + Haskell
[Russian]
FPConf 2017
-
Multiplayer Game from Scratch
Haskell eXchange 2017
-
Types write tests
[Russian]
«Типы пишут тесты»
FPConf 2016
-
Real World Servant: GetShopTV experience report
Haskell eXchange 2016
-
Simple MMO games in Haskell
[Russian]
«Простые MMO игры на Haskell»
CoLaboratory: ruHaskell 2016