| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
|
| |
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 91-102.
|
| |
Advanced Functional Programming (2005), pp. 130-170.
|
| |
|
| |
In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
|
| |
|
| |
|
| |
Vol. 34 (1998), pp. 239-250.
|
| |
Mathematics of Program Construction (2008), pp. 268-283.
|
| |
|
| |
In Proceedings of the Sixth ASIAN Symposium on Programming Languages and Systems (2008)
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 295-306.
|
| |
In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 1-2.
|
| |
Diagrammatic Representation and Inference (2008), pp. 357-359.
|
| |
Diagrammatic Representation and Inference (2008), pp. 165-171.
|
| |
|
| |
In Proceedings of the 30th ACM Conference on Programming Language Design and Implementation (2008)
|
| |
In Formal Description of Programming Concepts (1991), pp. 431-507.
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Trends in Functional Programming (30 September 2007)
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16.
|
| |
Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205.
|
| |
J. Funct. Program., Vol. 10, No. 4. (July 2000), pp. 409-415.
|
| |
Types for Proofs and Programs In Types for Proofs and Programs (2007), pp. 237-252.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44.
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 120-121.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 72-83.
|
| |
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, FPCA'91, Cambridge, MA, USA, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
|
| |
|
| |
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
In Proceedings: Fifth International Conference on Software Reuse (1998), pp. 134-142.
|
