| |
Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
|
| |
ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
|
| |
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 28 (2006)
|
| |
Theor. Comput. Sci., Vol. 409, No. 1. (2008), pp. 94-109.
|
| |
In Scheme and Functional Programming Workshop (September 2006)
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (1998), pp. 249-257.
|
| |
In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68.
|
| |
In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 62-73.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming (2008), pp. 229-240.
|
| |
In PLDI '91: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation (1991), pp. 278-292.
|
| |
In OOPSLA '07: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented programming systems and applications (2007), pp. 337-350.
|
| |
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1982), pp. 207-212.
|
| |
The Computer Journal, Vol. 49, No. 3. (1 May 2006), pp. 345-350.
|
| |
Lecture Notes in Computer Science, pp. 1-41.
|
| |
Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248.
|
| |
In Programming Concepts and Methods (April 1990)
|
| |
Journal of Functional Programming, Vol. 8, No. 3. (1998), pp. 239-273.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631.
|
| |
In In OOPSLA-ECOOP '90 Proceedings, pages 140--150. ACM SIGPLAN Notices,25(10, Vol. 25 (1990), pp. 140-150.
|
| |
In OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (1990), pp. 303-311.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
Category Theory and Computer Science (1991), pp. 197-218.
|
| |
Functional and Logic Programming (1999), pp. 300-318.
|
| |
In The Handbook of Logic in Computer Science, Vol. 5 (October 2000)
|
| |
From Object-Orientation to Formal Methods (2004), pp. 334-375.
|
| |
Types for Proofs and Programs (2004), pp. 210-225.
|
| |
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85.
|
| |
|
| |
Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120.
|
| |
|
| |
|
| |
Vol. 34 (1998), pp. 239-250.
|
| |
|
| |
|
| |
Russell, Idealism, and the Emergence of Analytic Philosophy, pp. 285-328.
|
| |
|
| |
|
| |
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 1-2.
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227.
|
| |
In In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages (1999), pp. 214-227.
|
| |
In In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 249-257.
|
| |
Science of Computer Programming, Vol. 25 (1995), pp. 25-251.
|
| |
|
Search
