Programming Languages

• Programming Languages Technology Course

• Defining a new language in Racket

• Forth

• LISP

APL, K, J

• Thinking in array language

• Implementation of J - an APL dialect

• K programming language and here and The K language

• Elections in K

• Kona - a K implementation

• APL a day

Rust

Symbolic execution

• Symbolic Execution

• Symbolic execution tutorial

• Awesome symbolic execution

Model checking, formal methods

• Linear logic

• TLA+ and Lamport Lectures

• Erlang by Evan Miller

• The Erlang Runtime System (BEAM)