POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Bas Spitters
Bas Spitters

Registered user since Wed 18 Jan 2017

Name: Bas Spitters

Personal website: http://www.cs.au.dk/~spitters/

Contributions

CPP 2017 The HoTT library: a formalization of homotopy type theory in Coq
PPS 2017 Synthetic topology in homotopy type theory for probabilistic programming
TTT 2017 Session Chair of First Afternoon Session (part of TTT)
CoqPL 2017 Synthetic topology in HoTT for probabilistic programming
Show activities from other conferences

POPL 2017-profile
View general profile