Graph explorer

Research map

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

Daniel Selsam
Map detail
Daniel Selsam5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipDaniel SelsamADaniel SelsamResearcher$k$-Equivalence Relations and Associated AlgorithmsW$k$-Equivalence Relatio...preprint / 2021Sealing Pointer-Based Optimizations Behind Pure FunctionsWSealing Pointer-Based O...preprint / 2020Tabled Typeclass ResolutionWTabled Typeclass Resolu...preprint / 2020Venture: a higher-order probabilistic programming platform with programmable inferenceWVenture: a higher-order...preprint / 2014
Person4 links

Daniel Selsam

Researcher