Filip Koprivec

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Transitive Closure

Undirected Graph

Earth Observation

Top Venues

Proc. ACM Program. Lang.

Publications

Filip Koprivec, Matija Pretnar
Simplifying explicit subtyping coercions in a polymorphic calculus with effects. CoRR (2024)
Katja Bercic, Filip Koprivec
Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR. CICM (2022)
Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers
Efficient compilation of algebraic effect handlers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Filip Koprivec, Klemen Kenda, Beno Sircelj
FASTENER Feature Selection for Inference from Earth Observation Data. Entropy 22 (11) (2020)