Graph explorer

Research map

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

Explicit Effect Subtyping
Map detail
Explicit Effect Subtyping7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipExplicit Effect SubtypingWExplicit Effect Subtypingpreprint / 2020Georgios KarachaliasAGeorgios KarachaliasResearcherMatija PretnarAMatija PretnarResearcherAmr Hany SalehAAmr Hany SalehResearcherStien VanderhallenAStien VanderhallenResearcherProgramming LanguagesTProgramming Languages1239 worksTom SchrijversATom SchrijversResearcher
Paper6 links

Explicit Effect Subtyping

preprint / 2020