| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
|
| |
|
| |
In ESOP, No. 4421. (2007), pp. 2-17.
|
| |
|
| |
|
| |
|
| |
|
| |
Programming Languages and Systems (2007), pp. 2-17.
|
| |
In CHINZ '06: Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction (2006), pp. 67-74.
|
| |
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.
|
| |
In ESORICS '08: Proceedings of the 13th European Symposium on Research in Computer Security (2008), pp. 533-547.
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 263-273.
|
| |
|
| |
Practical Aspects of Declarative Languages (2001), pp. 29-44.
|
| |
Advanced Functional Programming (2003), pp. 159-187.
|
| |
|
| |
Computer Aided Verification (1997), pp. 72-83.
|
| |
In Higher-order and Symbolic Computation, Vol. 13 (1999), pp. 105-118.
|
| |
In DLS '08: Proceedings of the 2008 symposium on Dynamic languages (2008), pp. 1-12.
|
| |
|
| |
|
| |
In In Proceedings of the 21st International Conference on Software Engineering (1999), pp. 411-420.
|
| |
|
| |
|
| |
ACM SIGSOFT Software Engineering Notes, Vol. 28, No. 5. (September 2003), pp. 267-276.
|
| |
In In Proceedings of the 18th International Conference on Automated Software Engineering (2003), pp. 116-129.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 188-197.
|
| |
In Automated Software Engineering Journal, Vol. 10 (2000), pp. 3-12.
|
| |
|
| |
Computer Aided Verification (2003), pp. 433-445.
|
| |
In Theoretical and Practical Aspects of SPIN Model Checking (SPIN ’99), volume 1680 of Lecture Notes in Computer Science (1999), pp. 120-135.
|
| |
Vol. 75 (1999), pp. 167-177.
|
| |
Interactive Systems Design, Specification, and Verification (2001), pp. 135-150.
|
| |
Automated Software Engineering, Vol. 8, No. 3. (2001), pp. 275-310.
|
| |
Vol. 103 (2003), pp. 49-52.
|
| |
In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 439-448.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2007), pp. 44-58.
|
| |
CONCUR 2001 — Concurrency Theory (2001), pp. 39-58.
|
| |
Hawaii International Conference on System Sciences, Vol. 9 (2001)
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 1. (2002), pp. 39-44.
|
| |
情報処理学会プログラミング研究会 (27 January 2009)
|
| |
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
Search
