Siskind , Jeffrey Mark and Pearlmutter, Barak A. (2007) First-Class Nonstandard Interpretations by Opening Closures. Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . pp. 71-76.

Pearlmutter, Barak A. and Siskind , Jeffrey Mark (2007) Lazy Multivariate Higher-Order Forward-Mode AD. POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . pp. 155-160.

Siskind , Jeffrey Mark and Pearlmutter, Barak A. (2008) Nesting forward-mode AD in a functional framework. Advances in Automatic Differentiation . ISSN 1439-7358

Siskind , Jeffrey Mark and Pearlmutter, Barak A. (2005) Perturbation Confusion and Referential Transparency: Correct Functional Implementation of Forward-Mode AD. In: 17th International Workshop, IFL'05 (2005).

Pearlmutter, Barak A. and Siskind , Jeffrey Mark (2008) Reverse-Mode AD in a Functional Framework: Lambda the Ultimate Backpropagator. ACM Transactions on Programming Languages and Systems, 30 (2). 7.1-7.36. ISSN 0164-0925

Pearlmutter, Barak A. and Siskind, Jeffrey Mark (2008) Using programming language theory to make automatic differentiation sound and efficient. Advances in Automatic Differentiation . ISSN 1439-7358