| |
ACM Transactions on Programming Languages and Systems, Vol. 28 (2006)
|
| |
|
| |
In CSE 02-012 (25 November 2002)
|
| |
|
| |
|
| |
In in Proc. TLCA ’99, Vol. 1581 (1999), pp. 228-242.
|
| |
|
| |
In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146.
|
| |
In Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) (2007)
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308.
|
| |
Vol. 39 (2004), pp. 331-344.
|
| |
In In European Symposium on Programming, Vol. 1058 (1996), pp. 219-234.
|
| |
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.
|
| |
|
| |
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 147-172.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
|
| |
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.
|
| |
In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
|
| |
Advanced Functional Programming (2005), pp. 73-129.
|
| |
No. NOTTCS-TR-96-4. (1996)
|
| |
Scheme Workshop In International Conference of Functional Programming (30 September 2007)
|
| |
|
| |
|
| |
Journal of Functional Programming (1997)
|
| |
ACM Comput. Surv., Vol. 28, No. 4es. (1996), 196.
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications (2005), pp. 21-40.
|
| |
|
| |
In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 24-52.
|
| |
In Haskell 98 Language and Libraries: the Revised Report (January 2003)
|
| |
|
| |
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
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1 October 1999), pp. 283-283.
|
| |
|
| |
|
| |
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
In Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, Vol. 30, No. 3. (March 1995), pp. 13-22.
|
| |
SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
|
| |
In Proc. UK Joint Framework for Information Technology ({JFIT}) Technical Conference (93)
|
| |
In GLA (93), pp. 145-155.
|
| |
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
|
| |
Mathematical Structures in Computer Science, Vol. 6, No. 6. (1996), pp. 579-612.
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
|
Search
