No. 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation

Published: 1999-12-10