| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 13-24.
|
| |
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 19, No. 4. (1985), pp. 8-25.
|
| |
Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
|
| |
In PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, Vol. 25, No. 6. (June 1990), pp. 66-77.
|
| |
Journal of Functional Programming, Vol. 10, No. 01. (2000), pp. 19-56.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 199-210.
|
| |
In Proceedings of the IEEE, Vol. 93 (2005), pp. 216-231.
|
| |
SIGPLAN Not., Vol. 43, No. 11. (2008), pp. 84-86.
|
| |
In In Proceedings of the USENIX Winter 1993 Technical Conference (1993), pp. 51-60.
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 75-86.
|
| |
Computer, Vol. 33, No. 10. (October 2000), pp. 23-29.
|
| |
Self-Sustaining Systems (2008), pp. 87-122.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 2. (1985), pp. 214-243.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 9, No. 1. (1987), pp. 54-99.
|
| |
SIGPLAN Not., Vol. 26, No. 6. (1991), pp. 165-176.
|
| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
In SIGPLAN Notices, Vol. 41 (2006)
|
| |
In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems (2006), pp. 325-335.
|
| |
In COLING '04: Proceedings of the 20th international conference on Computational Linguistics (2004)
|
| |
In TYPES (1999), pp. 1-20.
|
| |
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 371-382.
|
| |
|
| |
In TACS'91: Selected papers of the conference on Theoretical aspects of computer software (1993), pp. 141-163.
|
| |
Sci. Comput. Program., Vol. 17, No. 1-3. (1991), pp. 35-75.
|
| |
ACM SIGPLAN Notices In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, Vol. 42, No. 10. (21 October 2007), pp. 677-694.
|
| |
Computer Languages, Vol. 14, No. 3. (1989), pp. 181-191.
|
| |
|
| |
|
| |
Computer Languages, Vol. 19, No. 2. (1993), pp. 119-134.
|
| |
In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 249-291.
|
| |
In Symposium on Principles of Programming Languages (1996), pp. 131-144.
|
| |
Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1999), pp. 221-236.
|
| |
|
| |
|
| |
In Conference Record of the 1980 LISP Conference, Stanford University (1980)
|
| |
ACM SIG\-PLAN Notices, Vol. 28, No. 3. (1993), pp. 201-208.
|
| |
Commun. ACM, Vol. 19, No. 8. (August 1976), pp. 437-453.
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
Future Generation Computer Systems, Vol. 16, No. 7. (2000), pp. 739-751.
|
| |
|
| |
In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225.
|
| |
|
| |
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006), pp. 393-404.
|
Search
