| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 97-108.
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48.
|
| |
Journal of Functional Programming, Vol. 14, No. 06. (2004), pp. 681-695.
|
| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112.
|
| |
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 335-346.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 75-86.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 83-92.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 29-37.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36.
|
| |
Functional and Logic Programming (2006), pp. 65-80.
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308.
|
| |
In ASIAN '99: Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science (1999), pp. 62-73.
|
| |
Domain-Specific Program Generation (2004), pp. 143-164.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 73-82.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 177 (2007), pp. 201-217.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
|
| |
J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 84-95.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12.
|
| |
LNCS In Algebraic Methodology and Software Technology, Vol. 4019 (2006), pp. 158-172.
|
| |
In ICFP '07 submitted (2007)
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191.
|
| |
In RULE '02: Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming (2002), pp. 15-28.
|
| |
Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 101-129.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 69-79.
|
| |
In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 53-96.
|
| |
|
| |
In Haskell '01: Proceedings of the ACM SIGPLAN workshop on Haskell (2001), pp. 101-120.
|
| |
In PLDI 2007: Programming Language Design and Implementation (2007)
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 72-83.
|
| |
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 27-38.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 472-492.
|
| |
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
Search
