| |
IEEE Transactions on Software Engineering, Vol. 25, No. 3. (1999), pp. 309-316.
|
| |
Theory of Computing Systems, Vol. 2, No. 2. (1 June 1968), pp. 127-145.
|
| |
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 35-46.
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 49-59.
|
| |
|
| |
Higher-Order and Symbolic Computation, Vol. 13, No. 1. (1 April 2000), pp. 11-49.
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
No. {WG14} {N1124}. (1999)
|
| |
SIGARCH Computer Archiecture News, Vol. 15, No. 5. (1987), pp. 100-104.
|
| |
In {POPL} '06: Conference record of the 33rd {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages (2006), pp. 409-421.
|
| |
Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 547-582.
|
| |
|
| |
In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2003), pp. 170-177.
|
| |
In Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming (1986), pp. 7-18.
|
| |
|
| |
In {ICFP} '06: Proceedings of the eleventh {ACM SIGPLAN} international conference on Functional programming (2006), pp. 111-121.
|
| |
In {ICFP} '05: Proceedings of the tenth {ACM SIGPLAN} international conference on Functional programming (2005), pp. 192-203.
|
| |
In {S}cheme and Functional Programming 2006 (September 2006)
|
| |
Journal of Functional Programming, Vol. 12, No. 2. (March 2002), pp. 159-182.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the {IEEE} Symposium on Logic in Computer Science (June 1987)
|
| |
|
| |
In Proceedings of the 2004 {S}cheme Workshop (September 2004)
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (1999), pp. 527-568.
|
| |
In {ECOOP} '95: Proceedings of the 9th {E}uropean Conference on Object-Oriented Programming (1995), pp. 303-330.
|
| |
In {OOPSLA} '87: Conference proceedings on Object-oriented programming systems, languages and applications (1987), pp. 227-242.
|
| |
|
| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
Search
