Bas Spitters - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 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