| |
Foundations of Computer Science (1997), pp. 201-208.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 281-292.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 50-63.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (1998), pp. 130-141.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 224-235.
|
| |
Software Engineering, International Conference on, Vol. 0 (2009), pp. 595-598.
posted to diff by msakai
on 2009-10-29 15:57:29
as 
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 174-177.
|
| |
|
| |
Static Analysis (2009), pp. 36-51.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 259-269.
|
| |
|
| |
Computer Science Logic (2004), pp. 160-174.
|
| |
東芝レビュー, Vol. 64, No. 8. (August 2009), pp. 20-23.
|
| |
Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80.
|
| |
In Abstracts of the 5th International Planning Competition (2006)
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 152-152.
|
| |
|
| |
Semantics of Data Types (1984), pp. 301-315.
|
| |
In POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983), pp. 88-98.
|
| |
In STOC '09: Proceedings of the 41st annual ACM symposium on Theory of computing (2009), pp. 169-178.
|
| |
In ESOP, No. 4421. (2007), pp. 2-17.
|
| |
Advanced Functional Programming (1995), pp. 53-96.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308.
|
| |
Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368.
|
| |
ECOOP 2000 — Object-Oriented Programming (2000), pp. 226-250.
|
| |
Deductive and Object-Oriented Databases (1995), pp. 213-228.
|
| |
In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009), pp. 342-352.
|
| |
In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68.
|
| |
|
| |
Microsoft Research Technical Report, No. 2008-181. (December 2008)
|
| |
The Computer Journal, Vol. 49, No. 3. (1 May 2006), pp. 345-350.
|
| |
J Logic Computation, Vol. 18, No. 4. (1 August 2008), pp. 521-562.
|
| |
Acta Informatica, Vol. 27, No. 6. (1 May 1990), pp. 505-517.
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 263-273.
|
| |
コンピュータソフトウェア, Vol. 22, No. 3. (2005), pp. 201-207.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 111-122.
|
| |
|
| |
哲学論叢, Vol. 29 (1 September 2002), pp. 81-104.
|
| |
Journal of Functional Programming, Vol. 18, No. 04. (2008), pp. 423-436.
|
| |
|
| |
Inf. Process. Lett., Vol. 29, No. 1. (1988), pp. 19-23.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631.
|
| |
In Foundations of Software Technology and Theoretical Computer Science (2008)
|
| |
Commun. ACM, Vol. 52, No. 1. (2009), pp. 40-44.
|
| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112.
|
| |
|
| |
|
| |
|
| |
|
CiteULike
msakai's CiteULike
Search
