6 ms·
foundations of programing languages : https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php https://www.cs.uoregon.edu/research/summerschool/summ
by sargstuff 3y ago
foundations of programing languages : https://www.cs.uoregon.edu/research/summerschool/summer18/topics.php https://www.cs.uoregon.edu/research/summerschool/summer18/to...
Computational Type Theory : http://www.scholarpedia.org/article/Computational_type_theory http://www.scholarpedia.org/article/Computational_type_theor...