|
СТ |
Fine Control of Demand in Haskell |
2002 |
Harrison W., Sheard T., Hook J. |
|
|
|
Lecture Notes in Computer Science |
31.07.2002 |
|
СТ |
Accomplishments and Research Challenges in Meta-Programming (Invited Paper) |
2001 |
Sheard T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
Dynamically Adaptable Software with Metacomputations in a Staged Language |
2001 |
Harrison B., Sheard T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
Using MetaML: A Staged Programming Language |
1999 |
Sheard T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.1999 |
|
СТ |
An Idealized MetaML: Simpler, and More Expressive |
1999 |
Moggi E., Taha W., Benaissa Z.E. -A., Sheard T. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Dynamic Typing as Staged Type Inference |
1998 |
Shields M., Sheard T., Jones S. P. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
|
СТ |
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language |
1997 |
Sheard T. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Multi-Stage Programming with Explicit Annotations |
1997 |
Taha W., Sheard T. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
A Software Engineering Experiment in Software Component Generation |
1996 |
Kieburtz R. B., Mckinney L., Bell J. M., Hook J., Kotov A., Lewis J., Oliva D. P., Sheard T., Smith I., Walton L. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
|
СТ |
Calculating Software Generators from Solution Specifications |
1995 |
Kieburtz R. B., Bellagarde F., Bell J., Hook J., Lewis J., Oliva D., Sheard T., Walton L., Zhou T. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
Improving Programs which Recurse over Multiple Inductive Structures |
1994 |
Fegaras L., Sheard T., Zhou T. |
|
|
|
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation |
20.01.1995 |
|
СТ |
Specifying Rule-Based Query Optimizers in a Reflective Framework |
1993 |
Fegaras L., Maier D., Sheard T. |
|
|
|
Lecture Notes in Computer Science |
21.12.1993 |
|
СТ |
Automatic Generation and Use of Abstract Structure Operators |
1991 |
Sheard T. |
|
|
|
ACM Trans. Programming Languages and Systems |
10.12.1991 |
