Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
In Further Praise of Dependent Types
golem.ph.utexas.edu
84 points
EvgeniyZh
6 years ago
89 comments
Loading...
In Further Praise of Dependent Types | Heykuki News