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

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

ISSN: 2325-9086 2325-9000

Argitalpen urtea: 2014

Alea: 2014-January

Zenbakia: January

Orrialdeak: 150-155

Mota: Biltzar ekarpena