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
Any de publicació: 2010
Volum: 5979 LNCS
Pàgines: 162-178
Tipus: Aportació congrés