| |
|
| |
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253.
|
| |
In Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science (2002), pp. 137-146.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44.
|
| |
|
| |
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.
|
| |
Formal Methods in System Design, Vol. 27, No. 1-2. (September 2005), pp. 5-17.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 205-216.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
|
| |
Communications Magazine, IEEE, Vol. 43, No. 3. (2005), pp. 116-122.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
|
| |
In Workshop on Industrial-Strength Formal Specification Techniques (April 1995)
|
| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
|
| |
In Spring School on Datatype-Generic Programming (2006)
|
| |
|
| |
Parallel Processing Letters, Vol. 13, No. 3. (September 2003), pp. 449-460.
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
| |
In FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems (2001), pp. 59-69.
|
| |
|
| |
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 211-230.
|
| |
Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 114-129.
|
| |
|
| |
|
| |
ACM Trans. Comput. Syst., Vol. 21, No. 4. (November 2003), pp. 341-374.
|
| |
ACM Trans. Comput. Syst., Vol. 17, No. 2. (May 1999), pp. 41-88.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 90-96.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 110-115.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Nordic J. of Computing, Vol. 8, No. 3. (2001), pp. 366-390.
|
| |
|
Search
