TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers.

Francisco Ortin, Daniel Zapico Palacio, Jos Quiroga, Miguel Garca

Browse the full SEKE paper archive.