Generic Programming: Advanced Lectures

Gaussian elimination: a case study in efficient genericity with MetaOCaml

Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004

Generics for the masses

Journal of Functional Programming

Iteration and coiteration schemes for higher-order and nested datatypes

Theoretical Computer Science - Foundations of software science and computation structures

What does aspect-oriented programming mean for functional programmers?

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming

Parametric datatype-genericity

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming

Formal polytypic programs and proofs

Journal of Functional Programming

Polytypic programming in haskell

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages