Well-typed narrowing with extra variables in functional-logic programming
ISSN: 0730-8566
ISBN: 9781450311182
Argitalpen urtea: 2012
Orrialdeak: 83-92
Mota: Biltzar ekarpena
Aktak:
Conference Record of the Annual ACM Symposium on Principles of Programming Languages