|
СТ |
Tagging, Encoding, and Jones Optimality |
2003 |
Danvy O., Lopez P.E. M. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
A New One-Pass Transformation into Monadic Normal Form |
2003 |
Danvy O. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
СТ |
A Symmetric Approach to Compilation and Decompilation |
2002 |
Ager M. S., Danvy O., Goldberg M. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
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 |
|
СТ |
Memoization in Type-Directed Partial Evoluation |
2002 |
Balat V., Danvy O. |
|
|
|
Lecture Notes in Computer Science |
23.11.2002 |
|
СТ |
A First-Order One-Pass CPS Transformation |
2002 |
Danvy O., Nielsen L. R. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
Static Transition Compression |
2001 |
Damian D., Danvy O. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
A Unifying Approach to Goal-Directed Evaluation |
2001 |
Danvy O., Grobauer B., Rhiger M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
A Higher-Order Colon Translation |
2001 |
Danvy O., Nielsen L. R. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
A Simple Take on Typed Abstract Syntax in Haskell-like Languages |
2001 |
Danvy O., Rhiger M. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Type-Directed Partial Evaluation |
1999 |
Danvy O. |
|
|
|
Lecture Notes in Computer Science |
15.12.1999 |
|
СТ |
An Operational Investigation of the CPS Hierarchy |
1999 |
Danvy O., Yang Z. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation |
1998 |
Balat V., Danvy O. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
A Simple Solution to Type Specialization |
1998 |
Danvy O. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
Lambda-Dropping: Transforming Reqursive Equations into Programs with Block Structure |
1997 |
Danvy O., Schultz U. P. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation |
1996 |
Danvy O., Vestergaard R. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Pragmatics of Type-Directed Partial Evaluation |
1996 |
Danvy O. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
|
СТ |
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 |
|
СТ |
Continuation-Based Partial Evaluation |
1994 |
Lawall J. L., Danvy O. |
|
|
|
LISP Pointers |
16.01.1995 |
|
СТ |
Thunks (continued) |
1992 |
Danvy O., Hatcliff J. |
|
|
|
BIGRE |
05.11.1992 |
