Typing as functional-logic evaluation
Aktak:
PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013
ISBN: 9781450318426
Argitalpen urtea: 2013
Orrialdeak: 23-32
Mota: Biltzar ekarpena
