Sesión 10: Trabajos ya publicados (II)

Listado de artículos correspondientes a la sesión Trabajos ya publicados (II)

1. Polymorphic Types in Erlang Function Specifications
   Francisco Javier López-Fraguas, / Manuel Montenegro / Juan Rodríguez-Hortalá / 
2. Que Ningún Término Resoluble de Lambda-Valor Se Quede Atrás (resumen)
   Álvaro García-Pérez / Pablo Nogueira / 
3. Combining Runtime Checking and Slicing to improve Maude Error Diagnosis
   María Alpuente  /  Francisco Frechina  / Julia Sapiña / Demis Ballis / 
4. Reversible Term Rewriting
   Naoki Nishida / Adrián Palacios  / Germán Vidal /