| |
Journal of Functional Programming, Vol. 18, No. 04. (2008), pp. 423-436.
|
| |
In Foundations of Software Technology and Theoretical Computer Science (2008)
|
| |
|
| |
|
| |
情報処理学会プログラミング研究会 (27 January 2009)
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 75-86.
|
| |
In WGP '08: Proceedings of the ACM SIGPLAN workshop on Generic programming (2008), pp. 37-48.
|
| |
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 29-37.
|
| |
|
| |
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 37-48.
|
| |
Functional and Logic Programming (2006), pp. 65-80.
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 48-59.
|
| |
In Haskell '03: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (2003), pp. 88-97.
|
| |
|
| |
Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
In Functional Programming Languages and Computer Architecture (1993), pp. 106-116.
|
| |
Mathematics of Program Construction (1998), 52.
|
| |
Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 1-56.
|
| |
Domain-Specific Program Generation (2004), pp. 143-164.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 1-12.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 150-161.
|
| |
SIGPLAN Not., Vol. 38, No. 9. (September 2003), pp. 287-298.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
|
| |
J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 73-82.
|
| |
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 37-48.
|
| |
Journal of Functional Programming, Vol. 7, No. 3. (1997), pp. 231-264.
|
| |
In Conference Record of the Twentieth Annual ACM {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (1993), pp. 144-154.
|
| |
|
| |
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 306-313.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 1-4.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203.
|
| |
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197.
|
| |
|
| |
In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
|
