New top story on Hacker News: Dependent Type Systems as Macros [pdf]

Dependent Type Systems as Macros [pdf]
4 by luu |

Comments

Popular Posts