Article,

The Second Futamura Projection for Type-Directed Partial Evaluation.

, and .
High. Order Symb. Comput., 14 (2-3): 173-219 (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews