Automatic Generation of Object-Oriented Type Checkers | Publicación