[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - Semantic analysis of normalisation by evaluation for typed lambda calculus
Fiore, MarceloYear:
2002
Language:
english
DOI:
10.1145/571157.571161
File:
PDF, 301 KB
english, 2002