Vít Sefl

According to our database¹, Vít Sefl authored at least 3 papers between 2019 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Additive Types in Quantitative Type Theory.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Translating Lambda Calculus into C++ Templates.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

2019

Performance Analysis of Zippers.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019