Sciweavers

TIC
1998
Springer

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

14 years 3 months ago
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
Vincent Balat, Olivier Danvy
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TIC
Authors Vincent Balat, Olivier Danvy
Comments (0)