| |
Software Quality Journal, Vol. 8, No. 4. (1 December 1999), pp. 321-341.
|
| |
In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 84-94.
|
| |
In PLDI 2007: Programming Language Design and Implementation (2007)
|
| |
Electronic Notes in Theoretical Computer Science In FGC, Foundations of Global Computing, 2nd EATCS Workshop (Satellite Event of ICALP 2003), Vol. 85, No. 1. (September 2003), 80.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), Foundations of Coordination Languages and Software Architectures 2005, Vol. 154, No. 1. (11 May 2006), pp. 63-82.
|
| |
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 57-67.
|
| |
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 189-199.
|
| |
In ICALP '89: Proceedings of the 16th International Colloquium on Automata, Languages and Programming (1989), pp. 234-248.
|
| |
CONCUR 2007 – Concurrency Theory (2007), pp. 317-332.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 199 (24 February 2008), pp. 17-32.
|
| |
Automata, Languages and Programming, Vol. 140 (1982), pp. 561-576.
|
| |
In RULE '02: Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming (2002), pp. 15-28.
|
| |
Theoretical Computer Science, Vol. 368, No. 1-2. (5 December 2006), pp. 64-87.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 1-7.
|
| |
Theor. Comput. Sci., Vol. 275, No. 1-2. (2002), pp. 259-282.
|
| |
In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 645-654.
|
| |
In SAC '02: Proceedings of the 2002 ACM symposium on Applied computing (2002), pp. 351-358.
|
| |
Information and Computation, Vol. 173, No. 1. (25 February 2002), pp. 82-120.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 163-174.
|
| |
J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12.
|
| |
In SIGCOMM '00: Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (2000), pp. 321-333.
|
| |
In ICFP '07 submitted (2007)
|
| |
ACM Comput. Surv., Vol. 28, No. 4es. (1996)
|
| |
In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (1997), pp. 36-46.
|
| |
Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205.
|
| |
コンピュータソフトウェア, Vol. 17, No. 1. (2000), pp. 45-58.
|
| |
Theoretical Computer Science In Applied Semantics: Selected Topics, Vol. 342, No. 1. (6 September 2005), pp. 104-131.
|
| |
Journal of Logic and Algebraic Programming In Special issue on The pi-calculus, Vol. 63, No. 1. (April 2005), pp. 3-34.
|
| |
Lecture Notes in Computer Science : Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings (2002), 223.
|
| |
Theoretical Computer Science, Vol. 253, No. 2. (28 February 2000), pp. 239-285.
|
| |
Theor. Comput. Sci., Vol. 309, No. 1. (December 2003), pp. 313-355.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 401-460.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61.
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48.
|
| |
Theor. Comput. Sci., Vol. 195, No. 2. (1998), pp. 205-226.
|
| |
Foundations of Software Science and Computation Structures (2000), pp. 238-251.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 262-271.
|
| |
In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009), pp. 155-165.
posted to type by keigoi
on 2009-10-08 05:28:22
as 
|
| |
SIGPLAN Not., Vol. 34, No. 5. (1999), pp. 37-49.
|
| |
PLoS Comput Biol, Vol. 5, No. 8. (28 August 2009), e1000486.
|
| |
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 331-344.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 6. (November 2005), pp. 1216-1269.
|
| |
|
| |
J Logic Computation, Vol. 18, No. 4. (1 August 2008), pp. 521-562.
|
| |
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.
|
Search
