Graph explorer

Research map

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

Inferring Algebraic Effects
Map detail
Inferring Algebraic Effects4 visible / 4 total nodes / 4 links

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

Related contextAuthorshipTopic signalTopic signalInferring Algebraic EffectsWInferring Algebraic Effectspreprint / 2014Matija PretnarAMatija PretnarResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksProgramming LanguagesTProgramming Languages1239 works
Paper3 links

Inferring Algebraic Effects

preprint / 2014