Bas Spitters - POPL 2017

Sun 15 - Sat 21 January 2017

Registered user since Wed 18 Jan 2017

Name:Bas Spitters

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

Contributions

2017

CoqPL

Synthetic topology in HoTT for probabilistic programming

CPP

The HoTT library: a formalization of homotopy type theory in Coq

TTT

Session Chair of First Afternoon Session (part of TTT)

LAFI

Synthetic topology in homotopy type theory for probabilistic programming

Show activities from other conferences

POPL 2017-profile
View general profile