Graph explorer

Research map

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

GADTs meet subtyping
Map detail
GADTs meet subtyping4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipTopic signalGADTs meet subtypingWGADTs meet subtypingpreprint / 2013Gabriel SchererAGabriel SchererResearcherDidier RémyADidier RémyResearcherProgramming LanguagesTProgramming Languages1239 works
Paper3 links

GADTs meet subtyping

preprint / 2013