RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Manuel Francisco
Montenegro Hermida
Publicacións nas que colabora con Manuel Francisco Montenegro Hermida (2)
2009
-
Certified absence of dangling pointers in a language withe explicit deallocation
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
-
Experiences in developing a complier for Safe using Haskell
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009