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

Publiceret: 2000-06-14