| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 163-174.
|
| |
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 35-49.
|
| |
In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 33, No. 10. (October 1998), pp. 144-153.
|
| |
In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 35, No. 10. (October 2000), pp. 208-228.
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 36, No. 3. (March 2001), pp. 193-205.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 166-177.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 234-245.
|
| |
In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 211-230.
|
| |
In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 292-310.
|
| |
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 213-223.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 324-337.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 39-51.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 491-553.
|
| |
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 246-257.
|
| |
In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 311-330.
|
| |
In CASCON '98: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research (1998)
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 804-805.
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994), pp. 1-14.
|
| |
|
| |
|
| |
In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering (2001), pp. 411-420.
|
| |
In ISMVL '03: Proceedings of the 33rd International Symposium on Multiple-Valued Logic (2003)
|
| |
In CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification (2002), pp. 505-509.
|
| |
In TACAS 2001: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2001), pp. 404-419.
|
| |
SIGACT News, Vol. 29, No. 4. (December 1998), pp. 39-50.
|
| |
J. ACM, Vol. 47, No. 1. (January 2000), pp. 167-223.
|
| |
In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 190-201.
|
| |
In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 36, No. 3. (March 2001), pp. 14-26.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 259-270.
|
| |
In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 25-36.
|
| |
SIGPLAN Not., Vol. 32, No. 1. (January 1997), pp. 103-105.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 25, No. 1. (January 2000)
|
| |
Commun. ACM, Vol. 13, No. 5. (May 1970), pp. 308-319.
|
| |
In POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1978), pp. 39-46.
|
| |
SIGPLAN Not., Vol. 15, No. 1. (January 1980), pp. 23-23.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 220-231.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 268-280.
|
| |
SIGACT News, Vol. 32, No. 1. (March 2001), pp. 66-69.
|
| |
SIGACT News, Vol. 32, No. 4. (December 2001), pp. 9-17.
|
| |
In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 55-65.
|
| |
ACM Trans. Comput. Logic, Vol. 4, No. 3. (July 2003), pp. 355-378.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 14-25.
|
| |
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 189-200.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 337-346.
|
| |
In STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing (1977), pp. 261-268.
|
| |
J. ACM, Vol. 35, No. 4. (October 1988), pp. 953-964.
|
| |
In Proceedings of the Second International Conference on Systems Integration (1992), pp. 388-391.
|
| |
|
| |
In Proceedings of the Fourteenth {IEEE} International Conference on Automated Software Engineering (1999), pp. 35-43.
|
| |
|
Search
