The seven specification ur-languages
Lobsters·20 points·azhenley·over 3 years ago·buttondown.email
A brief overview of the formal specification landscape
Read the full article at buttondown.email →
Related stories
- Flix - The Elegance of Functional Programming with the Conciseness of Logic Programmingflix.github.ioLobsters · 11 points · about 10 years ago
- Lobsters · 10 points · 6 months ago
- Programming languagespacknback.github.ioLobsters · 22 points · about 8 years ago
- Microsoft and Code.org will use Minecraft to teach kids the basics of computer programminggeekwire.comLobsters · 3 points · almost 11 years ago
- Make the Raku programming language familiar to C++ programmerssoftware.gellyfish.co.ukLobsters · 8 points · over 4 years ago
- Pair Programming Decreases Developer Efficacydocs.google.comLobsters · 22 points · about 9 years ago