| |
In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 8-19.
|
| |
Information Processing Letters, Vol. 90, No. 5. (15 June 2004), pp. 223-232.
|
| |
|
| |
|
| |
In WGP '08: Proceedings of the ACM SIGPLAN workshop on Generic programming (2008), pp. 37-48.
|
| |
ECOOP 2008 – Object-Oriented Programming (2008), pp. 235-259.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 270-282.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 3. (July 1991), pp. 315-341.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 5-16.
|
| |
Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107.
|
| |
In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop (2007), pp. 119-119.
|
| |
Datatype-Generic Programming In Datatype-Generic Programming, Vol. Volume 4719/2007 (2007), pp. 258-284.
|
| |
In {PLDI} '05: Proceedings of the {ACM} {SIGPLAN} 2005 conference on Programming language design and implementation (June 2005), pp. 73-84.
|
| |
J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129.
|
| |
In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 55-65.
|
| |
ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
|
| |
Journal of Functional Programming, Vol. 18, No. 01. (2007), pp. 1-13.
|
| |
|
| |
In {Proceedings of Mathematics of Program Construction (MPC) 2008} (July 2008)
|
| |
|
| |
In Draft Proceedings of Trends in Functional Programming (2007)
|
| |
|
| |
|
| |
In Haskell 98 Language and Libraries: the Revised Report (2003)
|
| |
In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76.
|
| |
In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 52-61.
|
| |
In {Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell} (2004), pp. 96-107.
|
| |
(October 2007), pp. 55-62.
|
| |
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
|
| |
Programming Languages and Systems (2000), pp. 230-244.
|
| |
|
| |
In FPCA '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark (1993), pp. 52-61.
|
| |
In Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings (2007), pp. 73-82.
|
| |
In Concepts: a Linguistic Foundation of Generic Programming at Adobe Tech Summit (April 2004)
|
| |
No. N2085=06-0155. (Sept 2006)
|
| |
No. D2501. (January 2007)
|
| |
No. N2421=07-0281. (Oct 2007)
|
| |
|
| |
In Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications (2003), pp. 115-134.
|
| |
LISP and Symbolic Computation, Vol. 8, No. 3. (1994), pp. 229-248.
|
| |
No. N2461=07-0331. (October 2007)
|
| |
No. D2502=08-0012. (January 2008)
|
| |
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
In Implementing Functional Languages (September 2007)
|
| |
SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 241-253.
|
| |
In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66.
|
| |
|
| |
Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
|
Search
