| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 97-108.
|
| |
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 CSMR '97: Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97) (1997), 144.
|
| |
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.
|
| |
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.
|
| |
|
| |
In From Semantics to Computer Science: Essays in Honor of Gilles Kahn (2009)
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 575-631.
|
| |
|
| |
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.
|
| |
Mathematical Structures in Computer Science, Vol. 9, No. 04. (1999), pp. 367-401.
|
| |
Journal of Functional Programming, Vol. 2, No. 02. (1992), pp. 127-202.
|
| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112.
|
| |
SIGACT News, Vol. 30, No. 2. (1999), pp. 33-42.
|
| |
J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
|
| |
|
| |
SIGPLAN Notices In 35th Symposium on Principles of Programming Languages, Proceedings, Vol. 43, No. 1. (January 2008), pp. 29-35.
|
| |
In ML '08: Proceedings of the 2008 ACM SIGPLAN workshop on ML (2008), pp. 59-68.
|
| |
IEEE Trans. Softw. Eng., Vol. 28, No. 12. (December 2002), pp. 1146-1170.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 1-11.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 335-346.
|
| |
SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156.
|
| |
Domain-Specific Program Generation (2004), pp. 180-195.
|
Search
