View of Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)

Return to Article Details Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) Download Download PDF