Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (1997)

Cached

Download Links

by Vincent Balat , Olivier Danvy
Venue:PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON TYPES IN COMPILATION, NUMBER 1473 IN LECTURE NOTES IN COMPUTER SCIENCE
Citations:17 - 7 self