| |
Sci. Comput. Program., Vol. 64, No. 1. (2007), pp. 97-114.
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
In Electronic Notes in Theoretical Computer Science, Vol. 89 (2003)
|
| |
In In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages. ACM (1994), pp. 297-310.
|
| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation (2000), pp. 321-333.
|
| |
In PLDI '97: Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (1997), pp. 273-286.
|
| |
SIGPLAN Not., Vol. 37, No. 8. (2002), pp. 53-65.
|
| |
In SAS '98: Proceedings of the 5th International Symposium on Static Analysis (1998), pp. 1-16.
|
| |
In In Web proceedings of the Applied Semantics Workshop (2004)
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 45-56.
|
| |
In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation (1995), pp. 246-257.
|
| |
SIGPLAN Not., Vol. 34, No. 6. (1999), pp. 47-57.
|
| |
|
| |
Information Systems, Vol. In Press, Corrected Proof
|
| |
Services Computing, 2008. SCC '08. IEEE International Conference on In Services Computing, 2008. SCC '08. IEEE International Conference on, Vol. 2 (2008), pp. 367-376.
|
| |
|
| |
In EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software (2004), pp. 230-239.
|
| |
In LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems (2008), pp. 101-110.
|
| |
In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18.
|
| |
In Euro-Par '01: Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing (2001), pp. 524-534.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 1. (25 November 1998), pp. 46-67.
|
| |
: Compiler Construction (1992), pp. 125-140.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 251-265.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 10, No. 1. (January 1988), pp. 1-50.
|
| |
Annals of the History of Computing, IEEE, Vol. 16, No. 4. (1994), pp. 38-59.
|
Search
