A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
- Del Vado Vírseda, R.
- Castiñeiras, I.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642119989
Año de publicación: 2010
Volumen: 5979 LNCS
Páginas: 162-178
Tipo: Aportación congreso