| |
|
| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232.
|
| |
|
| |
Vol. 39 (2004), pp. 331-344.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 4, No. 3. (July 1982), pp. 382-401.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 28 (2006)
|
| |
|
| |
In In Principles of Programming Languages (POPL (2003), pp. 213-223.
|
| |
|
| |
In In Dagstuhl proc.: Domain-Specific Program Generation (2003)
|
| |
In In European Conference on Object-Oriented Programming, Vol. 1445 (1998), pp. 91-113.
|
| |
In Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Programming Languages (1999), pp. 175-188.
|
| |
In In European Symposium on Programming, Vol. 1058 (1996), pp. 219-234.
|
| |
|
| |
In In Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (2003), pp. 47-64.
|
| |
In In OOPSLA-ECOOP '90 Proceedings, pages 140--150. ACM SIGPLAN Notices,25(10, Vol. 25 (1990), pp. 140-150.
|
| |
Institut für Informatik, Universität (2002)
|
| |
In OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (1990), pp. 303-311.
|
| |
|
| |
In CSE 02-012 (25 November 2002)
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
|
| |
In In Principles of Programming Languages (POPL) (2003), pp. 213-223.
|
| |
|
| |
|
| |
|
| |
In in Proc. TLCA ’99, Vol. 1581 (1999), pp. 228-242.
|
| |
SIGPLAN Not., Vol. 26, No. 9. (September 1991), pp. 255-273.
|
| |
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 147-172.
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 179-187.
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
In Category Theory and Computer Science (1987), pp. 140-157.
|
| |
Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
|
| |
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197.
|
| |
|
| |
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
In Conference record of POPL '95, 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
Vol. UCB/EECS-2006-183 (18 December 2006)
by Krste Asanovic, Ras Bodik, Bryan C. Catanzaro, et al.Joseph J. Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William L. Plishker, John Shalf, Samuel W. Williams, Katherine A. Yelick
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 76-117.
|
| |
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288.
|
| |
|
| |
|
| |
|
| |
In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130.
|
Search
