| |
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
|
| |
|
| |
|
| |
|
| |
In IEEE International Symposium on Secure Software Engineering (March 2006)
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 22-32.
|
| |
|
| |
In Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning (1991)
|
| |
ACM Comput. Surv., Vol. 29, No. 3. (September 1997), pp. 240-263.
|
| |
SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
|
| |
In Workshop on Scheme and Functional Programming (September 2006)
|
| |
In Proc. ACM Conf. on Functional Programming Languages and Computer Architecture ({FPCA}), La Jolla, California (1995)
|
| |
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
J. Funct. Program., Vol. 13, No. 3. (May 2003), pp. 455-481.
|
| |
|
| |
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27.
|
| |
In ACM-SIGPLAN Continuations Workshop (CW'04) (January 2004)
|
| |
Science of Computer Programming, Vol. 57, No. 2. (August 2005), pp. 217-250.
|
| |
In IFL '98: Selected Papers from the 10th International Workshop on 10th International Workshop (1999), pp. 200-215.
|
| |
In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 263-273.
|
| |
Journal of Functional Programming, Vol. 6, No. 3. (1996), pp. 465-483.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184.
|
| |
|
| |
Nordic J. of Computing, Vol. 12, No. 2. (August 2005), pp. 189-198.
|
| |
In Proceedings of the 1992 IEEE International Conference on Robotics and Automation (1992), pp. 2681-2688.
|
| |
ACM Comput. Surv., Vol. 28, No. 4es. (1996), 196.
|
| |
In Fifth International Conference on Software Reuse (1998)
|
| |
In Implementation of Functional Languages (1999), pp. 37-58.
|
| |
In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina (1993), pp. 71-84.
|
| |
In International Workshop on Implementation of Functional Languages (IFL) (1999)
|
| |
|
| |
|
| |
Artificial Intelligence, Vol. 65, No. 1. (1994), pp. 29-70.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 22, No. 6. (2000), pp. 1037-1080.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 59, No. 1. (2001)
|
| |
In Proceedings of the~18th~International Conference on Software Engineering (1996), pp. 451-463.
|
| |
In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 161-172.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 63-74.
|
| |
|
| |
|
| |
Journal of Functional Programming
|
| |
In CSL '94: Selected Papers from the 8th International Workshop on Computer Science Logic (1995), pp. 121-135.
posted to logic by jacob
on 2005-09-28 12:36:45
as 
|
| |
In ICFP (28 September 2005)
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268.
|
| |
In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, Vol. 35, No. 1. (January 1999), pp. 109-122.
|
| |
In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 60-71.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 114-125.
|
| |
In IVME '03: Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators (2003), pp. 6-14.
|
| |
In International Conference on Functional Programming (1999), pp. 126-137.
|
Search
