Well-typed narrowing with extra variables in functional-logic programming
ISSN: 0730-8566
ISBN: 9781450311182
Ano de publicación: 2012
Páxinas: 83-92
Tipo: Achega congreso
ISSN: 0730-8566
ISBN: 9781450311182
Ano de publicación: 2012
Páxinas: 83-92
Tipo: Achega congreso