| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 91-96.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 173-184.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 245-256.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 269-280.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
|
| |
Algebraic Methodology and Software Technology (2006), pp. 158-172.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 69-79.
|
| |
In In Proc. HOOTS'99, Vol. 26 (1999), pp. 122-141.
|
| |
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 274-285.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 25-36.
|
| |
SIGPLAN Not., Vol. 34, No. 1. (1999), pp. 153-162.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 114-125.
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 1-12.
|
| |
J. Funct. Program., Vol. 16, No. 4-5. (2006), pp. 485-545.
|
| |
J. Funct. Program., Vol. 11, No. 6. (2001), pp. 591-627.
|
| |
LISP and Symbolic Computation, Vol. 8, No. 4. (1 December 1995), pp. 293-341.
|
| |
Advanced Functional Programming (1999), pp. 28-115.
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 60-71.
|
| |
Datatype-Generic Programming (2007), pp. 72-149.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 168-179.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 335-346.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 251-264.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 25-36.
|
| |
|
| |
In PADL '00: Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (2000), pp. 263-277.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 483-496.
|
| |
|
| |
ACM SIGPLAN Notices, Vol. 35, No. 9. (2000), pp. 268-279.
|
| |
In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343.
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84.
|
| |
Journal of Functional Programming (1999)
|
| |
In Proc. of a conference on Functional programming languages and computer architecture (1985), pp. 113-128.
|
| |
Journal of Functional Programming, Vol. 16, No. 01. (January 2006), pp. 21-34.
|
| |
In ESOP '88. European Symposium on Programming, Nancy, France, 1988 (Lecture Notes in Computer Science, vol. 300) (1988), pp. 344-358.
|
| |
|
| |
In Advanced Functional Programming (1995), pp. 97-136.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 10-21.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38.
|
| |
|
Search
