- Výkon knihovny Containers v jazyce Haskell2010 | Matematicko-fyzikální fakulta
- Performance Analysis of Zippers2020 | Matematicko-fyzikální fakulta
- Lambda Calculus as a Tool for Metaprogramming in C++2018 | Matematicko-fyzikální fakulta
- Adams' Trees Revisited - Correctness Proof and Efficient Implementation2012 | Matematicko-fyzikální fakulta
- Translating Lambda Calculus into C++ Templates2021 | Matematicko-fyzikální fakulta
- ElixirFM 2009 (verze 1.1.882-1.1.914)Publikace bez příslušnosti k fakultě
- ElixirFM 2010 (verze 1.1.927-1.1.976)Publikace bez příslušnosti k fakultě
- Encode Arabic +1Publikace bez příslušnosti k fakultě
- ElixirFM +3Publikace bez příslušnosti k fakultě
- Compiling functional code for system-level environment2016 | Matematicko-fyzikální fakulta
