Partially persistent search trees with transcript operations. Larsen, Kim S. (1999) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Polytypic functions over nested datatypes. Hinze, Ralf (1999) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]