Graph explorer

Research map

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

Bidirectional Typing
Map detail
Bidirectional Typing5 visible / 5 total nodes / 5 links

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

Related contextAuthorshipAuthorshipTopic signalTopic signalBidirectional TypingWBidirectional Typingpreprint / 2020Jana DunfieldAJana DunfieldResearcherNeel KrishnaswamiANeel KrishnaswamiResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksProgramming LanguagesTProgramming Languages1239 works
Paper4 links

Bidirectional Typing

preprint / 2020