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.

Matthijs Vákár
SearchCollections
Map detail
Matthijs Vákár9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatthijs VákárAMatthijs VákárResearcherReverse AD at Higher Types: Pure, Principled and Denotationally CorrectWReverse AD at Higher Ty...preprint / 2021A Framework for Dependent Types and EffectsWA Framework for Depende...preprint / 2016An Effectful Treatment of Dependent TypesWAn Effectful Treatment ...preprint / 2016Dual-Numbers Reverse AD, EfficientlyWDual-Numbers Reverse AD...preprint / 2022Transforming Probabilistic Programs for Model CheckingWTransforming Probabilis...preprint / 2020Correctness of Automatic Differentiation via Diffeologies and Categorical GluingWCorrectness of Automati...preprint / 2020Games for Dependent TypesWGames for Dependent Typespreprint / 2015Conditional independence by typingWConditional independenc...preprint / 2022
Person8 links

Matthijs Vákár

Researcher

PaperReverse AD at Higher Types: Pure, Principled and Denotationally CorrectAuthorship / preprint / 2021PaperA Framework for Dependent Types and EffectsAuthorship / preprint / 2016PaperAn Effectful Treatment of Dependent TypesAuthorship / preprint / 2016PaperDual-Numbers Reverse AD, EfficientlyAuthorship / preprint / 2022PaperTransforming Probabilistic Programs for Model CheckingAuthorship / preprint / 2020PaperCorrectness of Automatic Differentiation via Diffeologies and Categorical GluingAuthorship / preprint / 2020PaperGames for Dependent TypesAuthorship / preprint / 2015PaperConditional independence by typingAuthorship / preprint / 2022

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)