Well-typed narrowing with extra variables in functional-logic programming

  1. López-Fraguas, F.
  2. Martin-Martin, E.
  3. Rodríguez-Hortalá, J.
Konferenzberichte:
Conference Record of the Annual ACM Symposium on Principles of Programming Languages

ISSN: 0730-8566

ISBN: 9781450311182

Datum der Publikation: 2012

Seiten: 83-92

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Datenquelle: Scopus