Registered user since Wed 18 Jan 2017

Name: Bas Spitters

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

POPL 2017 Activities

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