TyS - A framework to facilitate the implementation of object-oriented type checkers

  1. Ortin, F.
  2. Zapico, D.
  3. Quiroga, J.
  4. Garcia, M.
Actas:
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

ISSN: 2325-9086 2325-9000

Año de publicación: 2014

Volumen: 2014-January

Número: January

Páginas: 150-155

Tipo: Aportación congreso