Login / Signup
Vít Sefl
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Special Features
Decision Theory
Database Query Languages
Fine Grained
Top Venues
CoRR
WoLLIC
TFP
DECLARE
</>
Publications
</>
Vít Sefl
,
Tomás Svoboda
Additive Types in Quantitative Type Theory.
WoLLIC
(2022)
Vít Sefl
Translating Lambda Calculus into C++ Templates.
TFP
(2021)
Vít Sefl
Performance Analysis of Zippers.
CoRR
(2019)
Vít Sefl
Performance Analysis of Zippers.
DECLARE
(2019)