| |
The Journal of Logic Programming, Vol. 41, No. 2-3. (December 1999), pp. 197-230.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (2004), pp. 26-38.
|
| |
Higher-Order and Symbolic Computation, Vol. 13, No. 4. (1 December 2000), pp. 289-313.
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321.
|
| |
Journal of Functional Programming, Vol. 19, No. 02. (2009), pp. 227-251.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 20, No. 3. (1998), pp. 546-585.
|
| |
Functional Programming Languages and Computer Architecture (1991), pp. 124-144.
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 151-203.
|
| |
Programming Languages and Systems — ESOP '96 In ESOP 1996 (1996), pp. 18-44.
|
| |
Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 101-129.
|
| |
The Computer Journal, Vol. 31, No. 3. (1 March 1988), pp. 229-242.
|
| |
Science of Computer Programming, Vol. 14, No. 2-3. (October 1990), pp. 255-279.
|
| |
Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403.
|
| |
Software Practice and Experience, Vol. 27, No. 6. (1997), pp. 701-724.
|
| |
Computer Science Logic (1994), pp. 305-317.
|
| |
ACM Trans. Graph., Vol. 9, No. 1. (January 1990), pp. 28-40.
|
| |
Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 91-101.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359.
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 27-38.
|
| |
Journal of Functional Programming, Vol. 15, No. 05. (2005), pp. 653-667.
|
| |
In Symposium on Principles of Programming Languages (2002), pp. 270-282.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 314-323.
|
| |
SIGPLAN Not., Vol. 31, No. 6. (June 1996), pp. 73-82.
|
| |
In PLILP (1996), pp. 471-472.
|
| |
In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 47-58.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (January 2008), pp. 13-20.
|
| |
Theory of Computing Systems, Vol. 41, No. 4. (6 December 2007), pp. 619-689.
|
| |
Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318.
|
| |
Lecture Notes in Computer Science, Vol. 2042 (2001), pp. 57-??.
|
| |
J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
|
| |
Journal of Intelligent Information Systems, Vol. 17, No. 1. (1 November 2001), pp. 71-94.
|
| |
In PODS '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1989), pp. 172-181.
|
| |
SIGPLAN Not., Vol. 30, No. 1. (January 1995), pp. 11-19.
|
| |
|
| |
Science of Computer Programming, Vol. 37, No. 1--3. (2000), pp. 37-65.
|
| |
Journal of Logic and Algebraic Programming, Vol. 71, No. 2. (April 2007), pp. 79-113.
|
| |
Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102.
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 57 (2001)
|
| |
|
| |
In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305.
|
| |
In Proceedings of Functional and Logic Programming (FLOPS '99), Vol. 1722 (November 1999), pp. 114-130.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 14-25.
|
| |
In Proc. of a conference on Functional programming languages and computer architecture (1987), pp. 154-173.
|
| |
|
Search
