Includes supplementary material: sn.pub/extras
Gopalan Nadathur
Assembly language Constraint Declarative Programming Functional Programming ML Program Semantics Programming Language Implementation Programming Logics Prolog Standard ML distributed programming logic programming programming language semantics