@INPROCEEDINGS{
TITLE="Using programming language theory to make AD sound and efficient",
AUTHOR="B. A. Pearlmutter and J. M. Siskind",
YEAR="2008",
BOOKTITLE="Proceedings of the 5th International Conference on Automatic Differentiation, Bonn, Germany",
PAGES="79-90"
}