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

SORT 2025

Introduction

Introduction

linked lists/arrays in functional + concatenation + slice/filter + insert + pop + traverse + map + sort + reverse

evaluation strategies in functional programming lazy evaluation in section on functional programming? lisp?haskell? graph reduction