- The performance of the Haskell Containers package2010 | Faculty of Mathematics and Physics
- Performance Analysis of Zippers2020 | Faculty of Mathematics and Physics
- Lambda Calculus as a Tool for Metaprogramming in C++2018 | Faculty of Mathematics and Physics
- Adams' Trees Revisited - Correctness Proof and Efficient Implementation2012 | Faculty of Mathematics and Physics
- Translating Lambda Calculus into C++ Templates2021 | Faculty of Mathematics and Physics
- ElixirFM 2009 (version 1.1.882-1.1.914)Publication without faculty affiliation
- ElixirFM 2010 (version 1.1.927-1.1.976)Publication without faculty affiliation
- Encode Arabic +1Publication without faculty affiliation
- ElixirFM +3Publication without faculty affiliation
- Compiling functional code for system-level environment2016 | Faculty of Mathematics and Physics
