| |
Mathematics of Program Construction (2004), pp. 2-15.
|
| |
Typed Lambda Calculi and Applications (2003), pp. 1086-1086.
|
| |
Theoretical Computer Science, Vol. 342, No. 1. (06 September 2005), pp. 3-27.
|
| |
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176.
|
| |
Datatype-Generic Programming (2007), pp. 209-257.
|
| |
Advanced Functional Programming (1999), pp. 28-115.
|
| |
Datatype-Generic Programming (2007), pp. 72-149.
|
| |
Compiler Construction In Proc. 10th Internat. Conf. on Compiler Construction (CC), Vol. 2027 (2001), pp. 86-101.
|
| |
Software: Practice and Experience, Vol. 35, No. 2. (2005), pp. 159-188.
|
| |
In Proc. ACM Symposium on Applied Computing (SAC) (2008), pp. 171-177.
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 73-82.
|
| |
Softw. Pract. Exper., Vol. 36, No. 3. (2006), pp. 225-254.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 23, No. 5. (1997), pp. 314-323.
|
| |
In In First Workshop on C++ Template Programming (2000)
|
| |
Symbolic and Algebraic Computation (1989), pp. 13-25.
|
| |
Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403.
|
| |
Datatype-Generic Programming (2007), pp. 1-71.
|
| |
In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (2006), pp. 1-12.
|
| |
|
| |
In ISSAC: Proceedings of the {ACM} {SIGSAM} International Symposium on Symbolic and Algebraic Computation (formerly {SYMSAM}, {SYMSAC}, {EUROSAM}, {EUROCAL}) (also sometimes in cooperation with the Symbolic and Algebraic Manipulation Groupe in Europe ({SAME})) (1989)
|
| |
|
| |
|
| |
Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215.
|
| |
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 58-67.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255.
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191.
|
| |
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37.
|
| |
In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333.
|
| |
In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 115-134.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 98-109.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 241-253.
|
| |
In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97.
|
Search
