Publications

• Programming with Dependent Additive Pairs, TFP 2024, accepted for publication
  • doi: TBA
  • draft PDF
  • GitHub repository
• Additive Types in Quantitative Type Theory, WoLLIC 2022, in collaboration with Tomáš Svoboda
  • doi:10.1007/978-3-031-15298-6_16
  • PDF
  • GitHub repository
• Translating Lambda Calculus into C++ Templates, TFP 2021
  • doi:10.1007/978-3-030-83978-9_5
  • PDF
• Performance Analysis of Zippers, WFLP 2019
  • doi:10.1007/978-3-030-46714-2_14
  • PDF
  • GitHub repository
• Lambda Calculus as a Tool for Metaprogramming in C++, SRF at SOFSEM 2018
  • doi: N/A
  • PDF
  • GitHub repository