Papers

Peer-reviewed write-ups (co-)authored by Jan Malakhovski.

Jan Malakhovski. On the Expressive Power of Indexed Applicative and Monadic Structures. PhD Thesis. October 2019. Which also includes the contents of
- Jan Malakhovski, Sergei Soloviev. Programming with Applicative-like Expressions. May 2019.
- Jan Malakhovski. Exceptionally Monadic Error Handling. October 2018.
Sergei Soloviev, Jan Malakhovski. Automorphisms of Types and Their Applications. Journal of Mathematical Sciences Volume 240, Issue 5, August 2019, Pages 692-706. Which is a version of
- Sergei Soloviev, Jan Malakhovski. Automorphisms of Types and Their Applications. Zapiski nauchnykh seminarov POMI. Volume 468, 2018.