Other programming languages

Other imperative languages: Fortran, Algol, Pascal

Other C-family languages: Zig

Scheme and Common Lisp (compiled natively), and dynamic typing

Functions and recursion

The Church-Turing thesis

Imperative and functional programming

Functional languages: Meta Language (ML), Caml, OCaml and Haskell

Other compiled languages with runtime systems: Objective-C, Nim, Forth, COBOL, Smalltalk and Simula

Communicating Sequential Processes (CSP) and actor model concurrent languages: Swift, Go

C#, F#, VB.NET and mono

Java, garbage collection, process virtual machines and Kotlin

Other Lisp-family languages, and compiling them to VM: Racket, Clojure and Scala

Communicating Sequential Processes (CSP) and actor model concurrent languages with virual machines: The BEAM VM and Erlang, Elixer, Dart (other concurrency model?)

Other interpreted languages: Lua, Perl, Ruby, Julia, Octave, PHP and FreeBASIC

Validating code and compilers: Coq (ocaml), compcert, hol (ocaml), isabelle, agda (haskell)

Logical programming languages including ada and prolog

Please select a chapter from the left.

Preface

This is a live document, and is full of gaps, mistakes, typos etc.