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.

Jana Dunfield
SearchCollections
Map detail
Jana Dunfield7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJana DunfieldAJana DunfieldResearcherBidirectional TypingWBidirectional Typingpreprint / 2020Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed TypesWSound and Complete Bidi...preprint / 2020Complete and Easy Bidirectional Typechecking for Higher-Rank PolymorphismWComplete and Easy Bidir...preprint / 2020Elaborating Evaluation-Order PolymorphismWElaborating Evaluation-...preprint / 2020Elaborating Intersection and Union TypesWElaborating Intersectio...preprint / 2020Sums of Uncertainty: Refinements Go GradualWSums of Uncertainty: Re...preprint / 2020
Person6 links

Jana Dunfield

Researcher

PaperBidirectional TypingAuthorship / preprint / 2020PaperSound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed TypesAuthorship / preprint / 2020PaperComplete and Easy Bidirectional Typechecking for Higher-Rank PolymorphismAuthorship / preprint / 2020PaperElaborating Evaluation-Order PolymorphismAuthorship / preprint / 2020PaperElaborating Intersection and Union TypesAuthorship / preprint / 2020PaperSums of Uncertainty: Refinements Go GradualAuthorship / preprint / 2020

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)