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

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

ISSN: 2325-9086 2325-9000

Any de publicació: 2014

Volum: 2014-January

Número: January

Pàgines: 150-155

Tipus: Aportació congrés