Language Theory: Smith;
Pierce
Exploring Monads
The Languages I Use
Just what is Class anyway?
Sour Grapes on Inheritance
Exploring JavaScript: language features and Security
ECMA and JavaScript
Algol68 System
Memories of the first Fortran
Compiling code for nested procedures
Sour Grapes Languages in general
Globals, and Fluid Variables
Phrases in Natural Languages
Defining Languages
Proposed Error Semantics for Scheme
Sensory Scheme
The Things I don’t like about Scheme
A Bunch of Scheme Code
The Lambda Calculus (Paean for λ)
Fat Pointers, Lexical Scoping Rationale
Data abstraction in Languages
Exceptions and Continuations
Ambiguous Grammars
Three way infix operators
Streaming Execution
Syntax of “const” in C
Nexus for Equality, put index.html
Notes on OCaml
Exploiting Extended Type Systems for SW Quality
Note on ‘Dependent Types’
Notes on Pict definition
Quest for dumb binary language
Big-step - Small-step Semantics
WebGL
Unicode