TyS - A framework to facilitate the implementation of object-oriented type checkers
- Ortin, F.
- Zapico, D.
- Quiroga, J.
- Garcia, M.
ISSN: 2325-9086, 2325-9000
Any de publicació: 2014
Volum: 2014-January
Número: January
Pàgines: 150-155
Tipus: Aportació congrés