| |
Functional and Logic Programming (2008), pp. 14-14.
|
| |
Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
|
| |
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on In Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on (2000), pp. 30-41.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 15, No. 3. (June 2005), pp. 433-451.
|
| |
Computer Science Logic (2004), pp. 160-174.
|
| |
J Logic Computation, Vol. 4, No. 3. (1 June 1994), pp. 217-247.
|
| |
|
| |
In Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 (1991), pp. 95-106.
|
| |
|
| |
International Journal of Theoretical Physics, Vol. 21, No. 12. (1 December 1982), pp. 905-940.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (1 October 2007), pp. 505-525.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 47-58.
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 145-154.
|
| |
SIAM Journal on Computing, Vol. 11, No. 4. (1982), pp. 761-783.
|
| |
Category Theory (1991), pp. 95-104.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305.
|
| |
Software Engineering, International Conference on, Vol. 0 (2009), pp. 595-598.
posted to diff by msakai
on 2009-10-29 15:57:29
as 
|
| |
|
| |
Static Analysis (2009), pp. 36-51.
|
| |
|
| |
Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80.
|
| |
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.
|
| |
|
| |
Microsoft Research Technical Report, No. 2008-181. (December 2008)
|
| |
J Logic Computation, Vol. 18, No. 4. (1 August 2008), pp. 521-562.
|
| |
In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 263-273.
|
| |
|
| |
|
| |
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 PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112.
|
| |
|
Search
