Examples from the book "Types and Programming Languages" written in Rascal.