A Semantic Account of Type-Directed Partial Evaluation (1999)

Cached

Download Links

by Andrzej Filinski
Venue:In Gopalan Nadathur, editor, International Conference on Principles and Practice of Declarative Programming, number 1702 in Lecture
Citations:25 - 2 self