| |
|
| |
In ODES 4 (26 March 2006), pp. 5-13.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 9, No. 3. (July 1987), pp. 319-349.
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
|
| |
In In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages. ACM (1994), pp. 297-310.
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 2. (April 1991), pp. 181-210.
|
| |
In SCOPES '07: Proceedings of the 10th international workshop on Software & compilers for embedded systems (2007), pp. 111-121.
|
| |
SIGPLAN Not., Vol. 34, No. 6. (1999), pp. 47-57.
|
| |
In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation (1995), pp. 246-257.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation (2002), pp. 45-56.
|
| |
|
| |
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 249-260.
|
| |
In Trends in Functional Programming, Vol. 4 (September 2003), pp. 63-78.
|
| |
In In Web proceedings of the Applied Semantics Workshop (2004)
|
| |
|
| |
In Proc. of the 4 thGCC Developper’s Summit, Ottawa, Canada, June (2006)
|
Search
