| |
|
| |
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 233-246.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 247-258.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 195-208.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 183-194.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 98-109.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 54-65.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 2-14.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 92-104.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 27-40.
|
| |
|
| |
In Proceedings of the ACM-SIGPLAN symposium on The ADA programming language (1980), pp. 183-193.
|
| |
Commun. ACM, Vol. 31, No. 3. (March 1988), pp. 300-312.
|
| |
In Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich (1985), pp. 343-430.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|
| |
In Proceedings of the 12th International Symposium on High-Performance Computer Architecture
|
| |
In Conference Record of POPL 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 1-14.
|
| |
|
| |
In WCRE '98: Proceedings of the Working Conference on Reverse Engineering (WCRE'98) (1998)
|
| |
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
In OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2005), pp. 21-30.
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201.
|
| |
In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93)
|
| |
In Functional Programming Languages and Computer Architecture (1995)
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
|
| |
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 29-42.
|
| |
|
| |
In Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (1998)
|
| |
|
| |
|
| |
In Proceedings of the ACM SIGPLAN 2003 conference on Programming Language Design and Implementation (2003), pp. 26-37.
|
| |
|
| |
IEEE Transactions on Computers (1988), pp. 1384-1397.
|
| |
In Proceedings of the 28th conference on ACM/IEEE design automation (1991), pp. 764-769.
|
| |
In Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation (1988), pp. 318-328.
|
| |
In Proceedings of the 14th international symposium on Systems Synthesis (2001), pp. 215-220.
|
| |
In Proceedings of the 2002 Conference on Programming Language Design and Implementation ({PLDI})
|
| |
In {MFCS} '96, Proc. 21st Int. Symp. on Mathematical Foundations of Computer Science (Cracow, Poland, Sept. 1996), Vol. 1113 (1996), pp. 37-61.
|
| |
|
| |
In Proceedings {ACM} {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247.
|
Search
