СТ |
On Static Properties of Specialized Programs |
1991 |
Malmkjaer K. |
|
|
|
BIGRE |
11.12.1991 |
СТ |
Polyvariant Specialization for Higher-Order, Block-Structured Languages |
1995 |
Malmkjaer K., Orbaek P. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
СТ |
The Abstraction and Instantiation of String-Matching Programs |
2002 |
Amtoft T., Consel C., Danvy O., Malmkjaer K. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
СТ |
The Essence of Eta-Expansion in Partial Evaluation |
1994 |
Danvy O., Malmkjaer K., Palsberg J. |
|
|
|
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation |
20.01.1995 |