BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Robert Harper
SearchCollections
Map detail
Robert Harper7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRobert HarperARobert HarperResearcherA Note on the Uniform Kan Condition in Nominal Cubical SetsWA Note on the Uniform K...preprint / 2015Logical Relations as Types: Proof-Relevant Parametricity for Program ModulesWLogical Relations as Ty...preprint / 2021Sheaf semantics of termination-insensitive noninterferenceWSheaf semantics of term...preprint / 2022A Monadic Formalization of ML5WA Monadic Formalization...preprint / 2010Computational Higher Type Theory I: Abstract Cubical RealizabilityWComputational Higher Ty...preprint / 2016Selective MemoizationWSelective Memoizationpreprint / 2011
Person6 links

Robert Harper

Researcher

PaperA Note on the Uniform Kan Condition in Nominal Cubical SetsAuthorship / preprint / 2015PaperLogical Relations as Types: Proof-Relevant Parametricity for Program ModulesAuthorship / preprint / 2021PaperSheaf semantics of termination-insensitive noninterferenceAuthorship / preprint / 2022PaperA Monadic Formalization of ML5Authorship / preprint / 2010PaperComputational Higher Type Theory I: Abstract Cubical RealizabilityAuthorship / preprint / 2016PaperSelective MemoizationAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)