A F# implementation of various sections of Types and Programming Languages which may often not be the exact translation to what's written in the book. Lexers and parsers are omitted for brevity.