| |
Advanced Functional Programming (1996), pp. 1-37.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 106-117.
|
| |
In TAMODIA '04: Proceedings of the 3rd annual conference on Task models and diagrams (2004), pp. 129-136.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 851-854.
|
| |
In CHINZ '08: Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction (2008), pp. 1-8.
|
| |
Constraints, Vol. 13, No. 3. (2008), pp. 307-342.
|
| |
Scottish Journal of Political Economy, Vol. 50, No. 5. (2003), pp. 634-649.
|
| |
In ESORICS '08: Proceedings of the 13th European Symposium on Research in Computer Security (2008), pp. 533-547.
|
| |
Technical report of IEICE. SS, Vol. 107, No. 392. (20071210), pp. 19-24.
|
| |
The IEICE transactions on information and systems (Japanese edetion), Vol. 89, No. 3. (20060301), pp. 405-413.
|
| |
Probability Theory and Related Fields, Vol. 2, No. 4. (1 January 1964), pp. 340-368.
|
| |
Journal of Theoretical Politics, Vol. 7, No. 2. (1 April 1995), pp. 107-123.
|
| |
Microsoft Research Technical Report, No. 2008-181. (December 2008)
|
| |
In 4th {I}nternational {V}erification {W}orkshop - {VERIFY}'07 {P}roceedings of 4th {I}nternational {V}erification {W}orkshop in connection with {CADE}-21 {B}remen, {G}ermany, {J}uly 15-16, 2007 {CEUR} {W}orkshop {P}roceedings, Vol. 259 (2007), pp. 37-54.
|
| |
岩手大学教育学部研究年報, Vol. 40, No. 1. (1980), pp. 109-110.
|
| |
Practical Aspects of Declarative Languages (2001), pp. 29-44.
|
| |
J. Amer. Math. Soc., Vol. 1, No. 3. (1988), pp. 683-697.
|
| |
Proc. London Math. Soc. (3), Vol. 30 (1930), pp. 264-286.
|
| |
Annals of Pure and Applied Logic, Vol. 33 (1987), pp. 23-41.
|
| |
Trends in Cognitive Sciences, Vol. 9, No. 6. (June 2005), pp. 296-305.
|
| |
Journal of Combinatorial Theory, Series A, Vol. 86, No. 1. (April 1999), pp. 177-181.
|
| |
|
| |
In KDD '05: Proceeding of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining (2005), pp. 499-508.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2007), pp. 1-31.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 194, No. 2. (January 2008), pp. 3-29.
|
| |
Multiagent Grid Syst., Vol. 4, No. 3. (2008), pp. 271-291.
|
| |
|
| |
|
| |
Transactions of the American Mathematical Society, Vol. 95, No. 2. (1960), pp. 210-225.
|
| |
|
| |
|
| |
Computer Aided Verification (1997), pp. 72-83.
|
| |
In From Semantics to Computer Science: Essays in Honor of Gilles Kahn (2009)
|
| |
|
| |
Journal of Functional Programming, Vol. 14, No. 06. (2004), pp. 681-695.
|
| |
Theor. Comput. Sci., Vol. 221, No. 1-2. (1999), pp. 457-493.
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 51-62.
|
| |
Higher-Order and Symbolic Computation
|
| |
|
| |
In LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 333-340.
|
| |
In RTA '95: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (1995), pp. 294-308.
|
| |
IPSJ Transactions on Programming, Vol. 49, No. SIG3. (March 2008), pp. 39-54.
|
| |
Programming Languages and Systems — ESOP '94 (1994), pp. 150-164.
|
| |
Information and Computation, Vol. 100, No. 2. (October 1992), pp. 202-260.
|
| |
Theoretical Computer Science, Vol. 118, No. 2. (27 September 1993), pp. 263-299.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (1995), pp. 153-173.
|
| |
Science of Computer Programming, Vol. 42, No. 1. (January 2002), pp. 39-47.
|
| |
Information and Control, Vol. 60, No. 1-3. (January 1984), pp. 109-137.
|
| |
Information and Computation, Vol. 116, No. 2. (1 February 1995), pp. 193-213.
|
