Types and Programming Languages Checkers