@article{bryan-model,
author = {Chadwick, Bryan and Lieberherr, Karl},
title = {A Model of Functional Traversal-Based Generic Programming},
journal = {HOSC},
year = {2009},
pages = {},
publisher = {},
note = "24 pages".
}

Paper