SECD machine and S-expression compiler OCaml implementation of the SECD machine and a compiler from S-expressions to the instruction set for that machine Based on Kogge's Architecture of Symbolic Computers