Sesión 10: Trabajos ya publicados (II) Listado de artículos correspondientes a la sesión Trabajos ya publicados (II) Reversible Term RewritingCombining Runtime Checking and Slicing to improve Maude Error DiagnosisQue Ningún Término Resoluble de Lambda-Valor Se Quede Atrás (resumen)Polymorphic Types in Erlang Function Specifications