Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Matija Pretnar
Map detail
Matija Pretnar7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatija PretnarAMatija PretnarResearcherInferring Algebraic EffectsWInferring Algebraic Eff...preprint / 2014Local Algebraic Effect TheoriesWLocal Algebraic Effect ...preprint / 2020Explicit Effect SubtypingWExplicit Effect Subtypingpreprint / 2020An Effect System for Algebraic Effects and HandlersWAn Effect System for Al...preprint / 2014Handling Algebraic EffectsWHandling Algebraic Effectspreprint / 2013Programming with Algebraic Effects and HandlersWProgramming with Algebr...preprint / 2012
Person6 links

Matija Pretnar

Researcher