Вы здесь

Sestoft P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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