| |
In Haskell 2002 (2002), pp. 1-16.
|
| |
In POPL 2002 (2002), pp. 247-259.
|
| |
In Haskell 2009 (2009), pp. 49-60.
|
| |
In ICFP 2009 (2009), pp. 245-256.
|
| |
In ICFP 2009 (2009), pp. 233-244.
|
| |
Mathematics of Program Construction In MPC 1993 (1993), pp. 122-138.
|
| |
The Monad.Reader, Vol. 4 (5 July 2005)
|
| |
Acta Informatica, Vol. 21, No. 3. (1 October 1984), pp. 239-250.
|
| |
J. of Functional Programming, Vol. 3, No. 04. (1993), pp. 553-561.
|
| |
In Proc. of the SION Conference on Computer Science in the Netherlands (1991), pp. 315-335.
|
| |
In WGP 2008 (2008), pp. 13-24.
|
| |
Theory of Computing Systems, Vol. 2, No. 2. (1 June 1968), pp. 127-145.
|
| |
Vol. 2, No. 1. (1991), pp. 20-26.
|
| |
Trends in Functional Programming 6 (2007), pp. 145-162.
|
| |
|
| |
J. of Functional Programming, Vol. 7, No. 05. (1997), pp. 549-554.
|
| |
Compiler Construction (2000), pp. 279-294.
|
| |
IFL 2000 (2000), pp. 37-58.
|
| |
In WGP 2000: Proceedings of the Second Workshop on Generic Programming (6 July 2000)
|
| |
In ICFP 2002 (2002), pp. 26-35.
|
CiteULike
spl's CiteULike
Search
Export
