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

Published: 2000-06-14