POPL 2017 (series) / CoqPL 2017 (series) / The Third International Workshop on Coq for Programming Languages /
Synthetic topology in HoTT for probabilistic programming
| Abstract (CoqPL_2017_paper_4.pdf) | 175KiB |
Sat 21 Jan
| 16:00 - 16:25 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:50 Talk | Abhishek Anand, Andrew AppelPrinceton, Greg MorrisettCornell University, Zoe ParaskevopoulouPrinceton University, USA, Randy PollackHarvard University, Olivier Savary BelangerPrinceton University, Matthieu SozeauInria, Matthew WeaverPrinceton University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:15 Talk | Izumi AsakuraTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:15 - 17:40 Talk | Ryan DoengesUniversity of Washington, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Karl Palmskog File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:40 - 18:05 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||