BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × United Kingdom
Collaborated with:
∅ O.Kammar S.Staton S.Abramsky R.Jagadeesan A.Scibior H.Yang Y.Cai K.Ostermann Sean K. Moss C.Heunen Z.Ghahramani
Talks about:
probabilist (1) framework (1) bayesian (1) statist (1) program (1) categor (1) theori (1) semant (1) linear (1) higher (1)

Person: Matthijs Vákár

DBLP DBLP: V=aacute=k=aacute=r:Matthijs

Contributed to:

FoSSaCS 20152015
ICALP (2) 20152015
POPL 20182018
POPL 20192019

Wrote 4 papers:

FoSSaCS-2015-Vakar #category theory #framework #linear #logic #semantics
A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.
ICALP-v2-2015-AbramskyJV #dependent type #game studies
Games for Dependent Types (SA, RJ, MV), pp. 31–43.
POPL-2018-ScibiorKVSYCOMH #higher-order #validation
Denotational validation of higher-order Bayesian inference (AS, OK, MV, SS, HY, YC, KO, SKM, CH, ZG), p. 29.
POPL-2019-VakarKS #probability #programming #statistics
A domain theory for statistical probabilistic programming (MV, OK, SS), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.