| |
In Joint ACM Java Grande --- {ISCOPE} 2001 Conference (2001)
|
| |
Theoretical Computer Science, Vol. 245, No. 1. (2000), pp. 55-101.
|
| |
|
| |
In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227.
|
| |
|
| |
In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming (September 1998), pp. 273-279.
|
| |
Fundamenta Informatica, Vol. 66, No. 4. (April 2005), pp. 353-366.
|
| |
|
| |
In Advanced Functional Programming 4, Vol. 2638 (2003), pp. 1-26.
|
| |
In Haskell Workshop (2005)
|
| |
In Principles of Programming Languages (January 2006), pp. 206-217.
|
| |
In Workshop on Generic Programming (September 2006)
|
| |
|
| |
|
| |
Submitted for publication (2007)
|
| |
|
| |
SIGMOD Rec., Vol. 24, No. 1. (March 1995), pp. 39-49.
|
| |
Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107.
|
| |
Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554.
|
| |
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
| |
(2003)
posted to hoas by sclv
on 2008-06-01 13:56:46
as 
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
|
Search
