Matthijs Vkr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ESOP | Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. | Matthijs Vkr |
| 2020 | FOSSACS | Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. | Mathieu Huot, Sam Staton, Matthijs Vkr |
| 2017 | UAI | Interpreting Lion Behaviour as Probabilistic Programs. | Neil Dhir, Matthijs Vkr, Matthew Wijers, Andrew Markham, Frank D. Wood |
| 2015 | FOSSACS | A Categorical Semantics for Linear Logical Frameworks. | Matthijs Vkr |
| 2015 | ICALP | Games for Dependent Types. | Samson Abramsky, Radha Jagadeesan, Matthijs Vkr |