СТ |
Demonstrating Lambda Calculus Reduction |
2002 |
Sestoft P. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
СТ |
Partial Evaluation for the Lambda Calculus |
1999 |
Jones N. D., Gomard C. K., Sestoft P. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
СТ |
Replacing Function Parameters by Global Variables |
1988 |
Sestoft P. |
|
|
|
|
29.09.1999 |
СТ |
Detecting Unshared Expressions in the Improved Three Instruction Machine |
1989 |
Sestoft P., Argo G. |
|
|
|
|
29.09.1999 |
СТ |
ML Pattern Match Compilation and Partial Evaluation |
1996 |
Sestoft P. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
СТ |
Decidability and Undecidability Results for Duration Calculus |
1993 |
Chaochen Z., Hansen M. R., Sestoft P. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
СТ |
Path Analysis for Lazy Data Structures |
1992 |
Gomard C. K., Sestoft P. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
СТ |
Globalization and Live Variables |
1991 |
Gomard C., Sestoft P. |
|
|
|
SIGPLAN Notices |
26.10.1991 |