[Lecture Notes in Computer Science] Partial Evaluation Volume 1706 || Type-Directed Partial Evaluation
Hatcliff, John, Mogensen, Torben Æ, Thiemann, PeterVolume:
10.1007/3-
Year:
1999
Language:
english
DOI:
10.1007/3-540-47018-2_16
File:
PDF, 1.74 MB
english, 1999