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
Year of publication: 2010
Volume: 5979 LNCS
Pages: 162-178
Type: Conference paper