Graph explorer

Research map

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

Revisiting Occurrence Typing
Map detail
Revisiting Occurrence Typing6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalRevisiting Occurrence TypingWRevisiting Occurrence Typingpreprint / 2022Giuseppe CastagnaAGiuseppe CastagnaResearcherVictor LanvinAVictor LanvinResearcherMickaël LaurentAMickaël LaurentResearcherKim NguyenAKim NguyenResearcherProgramming LanguagesTProgramming Languages1239 works
Paper5 links

Revisiting Occurrence Typing

preprint / 2022