| |
|
| |
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258.
|
| |
Computer Science Logic (1997), pp. 106-128.
|
| |
Programming Languages and Systems (2009), pp. 222-238.
|
| |
In ASIAN '99: Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science (1999), pp. 62-73.
|
| |
Typed Lambda Calculi and Applications (2007), pp. 207-222.
|
| |
Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (1991), pp. 203-211.
|
| |
In Domain-Specific Languages (1999), pp. 109-122.
|
| |
Types for Proofs and Programs (2003), pp. 617-617.
|
| |
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 165-176.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation (1988), pp. 199-208.
|
| |
J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625.
|
| |
Mathematical Foundations of Programming Language Semantics (1988), pp. 490-527.
|
| |
|
| |
|
| |
|
| |
|
| |
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 1999. Proceedings (1998), 406.
|
| |
|
| |
Science of Computer Programming, Vol. 14, No. 2-3. (October 1990), pp. 255-279.
|
| |
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 306-313.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 15, No. 3. (June 2005), pp. 433-451.
|
| |
SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 206-217.
|
| |
In International Conference on Functional Programming (1999), pp. 1-7.
|
| |
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9.
|
| |
In Proc. of the European Symposium on Programming, ESOP'96, Vol. 1058 (1996), pp. 45-61.
|
| |
Comput. J., Vol. 32, No. 2. (April 1989), pp. 98-107.
|
| |
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.
|
| |
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201.
|
| |
|
| |
|
Search
