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 2017Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track
PPS 2017Author of Synthetic topology in homotopy type theory for probabilistic programming within the PPS-track
TTT 2017Session Chair of First Afternoon Session (part of TTT)
CoqPL 2017Author of Synthetic topology in HoTT for probabilistic programming within the CoqPL 2017-track
Show activities from other conferences

POPL 2017-profile
View general profile