| |
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.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77.
|
| |
|
| |
In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146.
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1 October 1999), pp. 283-283.
|
| |
|
| |
In TYPES '99: Selected papers from the International Workshop on Types for Proofs and Programs (2000), pp. 174-193.
|
| |
Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 11-65.
|
| |
|
| |
Neural Networks, IEEE Transactions on In Neural Networks, IEEE Transactions on, Vol. 13, No. 3. (2002), pp. 780-784.
|
| |
Journal of Functional Programming, Vol. 9, No. 4. (1999), pp. 355-372.
|
