Comprobacion de tipos en programas incompletos.

Tesis doctoral de JavierOctavio Perez Campo El trabajo presenta el desarrollo de un sistema de comprobacion de tipos en programas […]

, , , , ,