Lobsters
- The Future of Programming is Dependent Types https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 4 comments programming
- The Future of Programming is Dependent Types — Programming Word of the Day https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 55 comments programming
- The Future of Programming is Dependent Types — Programming Word of the Day https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 93 comments programming
Linking pages
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- F* Tutorial http://fstar-lang.org/tutorial/ 109 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- http://goto.ucsd.edu/~ravi/research/oopsla12-djs.pdf 0 comments
Related searches:
Search whole site: site:medium.com
Search title: The Future of Programming is Dependent Types — Programming Word of the Day | by Marin Benčević | Background Thread | Medium
See how to search.