| |
ACM Trans. Program. Lang. Syst., Vol. 6, No. 4. (1984), pp. 505-526.
|
| |
In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation (1990), pp. 9-15.
|
| |
In Principles of Programming Languages (POPL '99) (1999)
|
| |
In CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization (2008), pp. 45-54.
|
| |
In LCTES '06: Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems (2006), pp. 145-152.
|
| |
In LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems (2008), pp. 31-40.
|
| |
In Proceedings of the IEEE, Vol. 93 (2005), pp. 216-231.
|
| |
Types for Proofs and Programs (2002), pp. 725-725.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 147-157.
|
| |
In CODES+ISSS '07: Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis (2007), pp. 131-136.
|
| |
|
| |
|
| |
In Symposium on Principles of Programming Languages (1996), pp. 131-144.
|
| |
|
| |
ACM Trans. Des. Autom. Electron. Syst., Vol. 6, No. 3. (July 2001), pp. 277-307.
|
| |
In Proceedings of the 1994 ACM {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation (June 1994), pp. 97-106.
|
| |
In Computational Complexity (2002), pp. 5-8.
|
| |
Soft\-waredash Prac\-tice and Experience, Vol. 32, No. 3. (???? 2002), pp. 265-294.
|
Search
