FLOPS 2020: 15TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING
PROGRAM
AUTHORS
KEYWORDS
Adam Chlipala
Affiliation:
MIT CSAIL
Web page:
http://adam.chlipala.net/
Pages in this Program
Program
Program for Tuesday, September 15th
Disclaimer
|
Powered by EasyChair Smart Program