Graph explorer

Research map

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

Martin Odersky
Map detail
Martin Odersky4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipMartin OderskyAMartin OderskyResearcherScoped Capabilities for Polymorphic EffectsWScoped Capabilities for...preprint / 2022Agentic Proof Automation: A Case StudyWAgentic Proof Automatio...preprint / 2026Building-Blocks for Performance Oriented DSLsWBuilding-Blocks for Per...preprint / 2011
Person3 links

Martin Odersky

Researcher