СТ |
LaToKi: A Language Tookit for Bottom-Up Evaluation of Functional Programs |
1992 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
15.10.1992 |
СТ |
Avoiding Repeated Tests in Pattern Matching |
1993 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
СТ |
Higher-Order Redundancy Elimination |
1994 |
Thiemann P. |
|
|
|
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation |
20.01.1995 |
СТ |
Synchronization Analyses for Multiple Recursion Parameters |
1996 |
Chin W. -N., Khoo S. -C., Thiemann P. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
СТ |
Realistic Compilation by Partial Evaluation |
1996 |
Sperber M., Thiemann P. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
СТ |
Implementing Memoization for Partial Evaluation |
1996 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
СТ |
Polyvariant Expansion and Compiler Generators |
1996 |
Thiemann P., Sperber M. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
СТ |
Two for the Price of One: Composing Partial Evaluation and Compilation |
1997 |
Sperber M., Thiemann P. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
СТ |
The Essence of LR Parsing |
1995 |
Sperber M., Thiemann P. |
|
|
|
Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation |
13.08.1997 |
СТ |
Type Specialisation for Imperative Languages |
1997 |
Dussart D., Hughes J., Thiemann P. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
СТ |
A Generic Framework for Specialization |
1998 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
СТ |
Single and Loving It: Must-Alias Analysis for Higher-Order Languages |
1998 |
Jagannathan S., Thiemann P., Weeks S., Wright A. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
СТ |
Formalizing Resource Allocation in a Compiler |
1998 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
СТ |
Two Flavors of Offline Partial Evaluation |
1998 |
Helsen S., Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
18.12.1998 |
СТ |
Higher-Order Code Splicing |
1999 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
СТ |
Aspects of the PGG System: Specialization for Standard Scheme |
1999 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
СТ |
Modeling HTML in Haskell |
2000 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
СТ |
Compiling Adaptive Programs by Partial Evaluation |
2000 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
22.04.2000 |
СТ |
An Algebraic Foundation for Adaptive Programming |
2000 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
СТ |
Fragmental Specialization |
2000 |
Helsen S., Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
24.10.2000 |
СТ |
A Prototype Dependency Calculus |
2002 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
СТ |
Continuation-Based Partial Evaluation without Continuations |
2003 |
Thiemann P. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
СТ |
An Implementation of Session Types |
2004 |
Neubauer M., Thiemann P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |