Swift versions of Pierce’s ML typecheckers & evaluators from his Types and Programming Languages book: http://www.cis.upenn.edu/~bcpierce/tapl/