Typing as functional-logic evaluation

  1. López-Fraguas, F.J.
  2. Martin-Martin, E.
Actas:
PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013

ISBN: 9781450318426

Ano de publicación: 2013

Páxinas: 23-32

Tipo: Achega congreso

DOI: 10.1145/2426890.2426896 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable