FLOPS 2020: 15TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING
Adam Chlipala
Affiliation: MIT CSAIL
Web page: http://adam.chlipala.net/
Pages in this Program
Program
Program for Tuesday, September 15th