Vít Šefl

Publications

• Programming with Dependent Additive Pairs TFP 2024
  doi: 10.1007/978-3-031-74558-4_5 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