Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Closure-Free Functional Programming in a Two-Level Type Theory
github.com/AndrasKovacs
1 point
matt_d
2 years ago
No comment yet
Closure-Free Functional Programming in a Two-Level Type Theory | Heykuki News