Technology

Share Community
Report Community
11

In Further Praise of Dependent Types

4 years ago
Anonymous $pSba0tWIcA

https://golem.ph.utexas.edu/category/2020/05/in_further_praise_of_dependent.html

In Further Praise of Dependent Types

May 11, 2020, 10:20am UTC
$pSba0tWIcA
https://golem.ph.utexas.edu/category/2020/05/in_further_praise_of_dependent.html