| |
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.
|
| |
Advanced Functional Programming (1996), pp. 1-37.
|
| |
|
| |
|
| |
情報処理学会プログラミング研究会 (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)
|
| |
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 75-86.
|
| |
In Proceedings of the Second Haskell Workshop (June 1997)
|
| |
In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36.
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 321-330.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 48-59.
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61.
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26.
|