discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
The Future of Programming is Dependent Types — Programming Word of the Day | by Marin Benčević | Background Thread | Medium
https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878
152 comments
Related searches:
Search whole site:
site:goto.ucsd.edu
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon