| |
In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68.
|
| |
The Computer Journal, Vol. 49, No. 3. (1 May 2006), pp. 345-350.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631.
|
| |
Category Theory and Computer Science (1991), pp. 197-218.
|
| |
|
| |
Functional and Logic Programming (1999), pp. 300-318.
|
| |
From Object-Orientation to Formal Methods (2004), pp. 334-375.
|
| |
Types for Proofs and Programs (2004), pp. 210-225.
|
| |
|
| |
Information and Computation, Vol. 76, No. 2-3. ( 1988), pp. 95-120.
|
| |
Higher Order Logic Theorem Proving and Its Applications (1995), pp. 32-45.
|
| |
Mathematics and Social Sciences, Vol. 165 (2004), pp. 31-57.
|
| |
COLOG-88 (1990), pp. 50-66.
|
| |
In Proceedings of TACS'97, Vol. 1281 (1997), pp. 530-546.
|
| |
|
| |
|
| |
In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130.
|
| |
IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
|
| |
Vol. Volume 5133/2008 (2008), pp. 268-283.
|
| |
Typed Lambda Calculi and Applications (1993), pp. 209-229.
|
| |
Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453.
|
| |
Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
|
| |
Mathematical Structures in Computer Science, Vol. 12, No. 06. (2003), pp. 771-795.
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 333-343.
|
| |
Typed Lambda Calculi and Applications (1995), pp. 216-234.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 17, No. 6. (November 1995), pp. 844-895.
|
| |
|
| |
Functional and Logic Programming (2008), pp. 14-14.
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 88-97.
|
| |
In Scheme and Functional Programming Workshop (September 2006)
|
| |
|
| |
|
| |
Types for Proofs and Programs (1994), pp. 62-78.
|
| |
|
| |
|
| |
Logical Foundations of Computer Science — Tver '92 (1992), pp. 293-304.
|
| |
Mathematics of Program Construction (1998), 52.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 29-42.
|
| |
In Functional Programming Languages and Computer Architecture (1995), pp. 135-146.
|
| |
|
| |
ECOOP 2003 -- Object-Oriented Programming (2003), pp. 201-224.
|
| |
Mathematical Logic Quarterly, Vol. 42, No. 1. (1996), pp. 446-448.
|
| |
J Logic Computation, Vol. 14, No. 4. (1 August 2004), pp. 529-570.
|
| |
In CSL (1994), pp. 427-441.
|
| |
Programming Languages and Systems (2007), pp. 239-254.
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 145-154.
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
|
| |
|
