Towards Router Specification in Curry: The Language ROSE

Autores: J. Guadalupe Ramos Díaz, Germán Vidal Oriola , Josep Silva
Localización: III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 105
Idioma: inglés
Texto completo no disponible (Saber más ...)