◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Matthijs Vákár

3 papers hereh-index 8306 citations20 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • middle author1

Across the 3 of 3 papers where every author was matched, so the position is known.

fields
  • cs.PL2
  • cs.LO1
same name
  • Matthijs Vákár — 4 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

most citedDenotational validation of higher-order Bayesian inference

64 citations · 74 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2017★ 10 cited

In Search of Effectful Dependent Types

Matthijs Vákár

Real world programming languages crucially depend on the availability of computational effects to achieve programming convenience and expressive power as well as program efficiency…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.