Filip Koprivec

Orcid: 0000-0001-9624-9369

According to our database1, Filip Koprivec authored at least 4 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Simplifying explicit subtyping coercions in a polymorphic calculus with effects.
CoRR, 2024

2022
Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021
Efficient compilation of algebraic effect handlers.
Proc. ACM Program. Lang., 2021

2020
FASTENER Feature Selection for Inference from Earth Observation Data.
Entropy, 2020


  Loading...