Tapl is a project mainly written in Haskell, it's free.

Codes for the book " Types and Programming Languages (TaPL)"