| |
In ICFP 2009 (2009), pp. 233-244.
|
| |
In 7th Brazilian Symposium on Programming Languages, SBLP 2003 (2003)
|
| |
In WGP 2008 (2008), pp. 13-24.
|
| |
MPC 2002 (2002), pp. 77-91.
|
| |
|
| |
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 238-248.
|
| |
Advanced Functional Programming (1996), pp. 68-114.
|
| |
|
| |
In Workshop on Generative Technologies (5 April 2008)
|
| |
Functional and Logic Programming (2006), pp. 13-29.
|
| |
Mathematics of Program Construction (2006), pp. 180-208.
|
| |
In ICFP 2005 (2005), pp. 204-215.
|
| |
In TLDI 2003, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 117-151.
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 470-482.
|
| |
In 6th International Summer School on Advanced Functional Programming (19 May 2008)
|
| |
Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 451-483.
|
| |
Advanced Functional Programming (1999), pp. 28-115.
|
| |
|
| |
In Proceedings of the 1998 Workshop on Generic Programming (WGP'98) (18 July 1998)
|
| |
Implementation of Functional Languages (September 2003), pp. 168-184.
|
| |
Journal of Functional Programming, Vol. 10, No. 04. (2000), pp. 327-351.
|
| |
In POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 119-132.
|
| |
In WGP 2000: Proceedings of the Second Workshop on Generic Programming (6 July 2000)
|
| |
In PLILP '96: Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs (1996), pp. 1-16.
|
| |
Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96.
|
| |
MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction In MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction (July 2006), pp. 209-234.
|
| |
|
| |
Datatype-Generic Programming (2007), pp. 72-149.
|
| |
Datatype-Generic Programming In Datatype-Generic Programming (2007), pp. 1-71.
|
| |
In ICFP 2004, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
In Trends in Functional Programming, Vol. 7 (2006), pp. 199-216.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 287-295.
|
CiteULike
spl's CiteULike
Search
Export
