discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
Six programming paradigms that will change how you think about coding
https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/
573 comments
Typestate-oriented programming in F*
http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html
27 comments
Related searches:
Search whole site:
site:cs.cmu.edu
Search title:
The Plaid Programming Language
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon