|
СТ |
Debuggable Concurrency Extensions for Standard ML |
1991 |
Tolmach A. P., Appel A. W. |
|
|
|
SIGPLAN Notices |
25.02.1992 |
|
СТ |
Separate Compilation for Standard ML |
1994 |
Appel A. W., Macqueen D. B. |
|
|
|
SIGPLAN Notices |
22.08.1994 |
|
СТ |
Space-Efficient Closure Representations |
1994 |
Shao Z., Appel A. W. |
|
|
|
LISP Pointers |
13.01.1995 |
|
СТ |
Unrolling Lists |
1994 |
Shao Z., Reppy J. H., Appel A. W. |
|
|
|
LISP Pointers |
16.01.1995 |
|
СТ |
A Type-Based Compiler for Standard ML |
1995 |
Shao Z., Appel A. W. |
|
|
|
ACM SIGPLAN Notices |
12.09.1995 |
|
СТ |
Lambda-Spliting: A Higher-Order Approach to Cross-Module Optimizations |
1997 |
Blume M., Appel A. W. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
SSA is Functional Programming |
1998 |
Appel A. W. |
|
|
|
SIGPLAN Notices |
28.09.1998 |
|
СТ |
Hierarchical Modularity |
1999 |
Blume M., Appel A. W. |
|
|
|
ACM Trans. on Programming Languages and Systems |
17.03.2000 |
|
СТ |
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code |
2000 |
Appel A. W., Felty A. P. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Construction of a Semantic Model for a Typed Assembly Language |
2004 |
Tan G., Appel A. W., Swadi K. N., Wu D. |
|
|
|
Lecture Notes in Computer Science |
11.02.2004 |
