Nesting forward-mode AD in a functional framework Jeffrey Mark SiskindBarak A. Pearlmutter OriginalPaper 17 October 2008 Pages: 361 - 376
Adapting functional programs to higher order logic Scott OwensKonrad Slind OriginalPaper 30 October 2008 Pages: 377 - 409
Flow-sensitive type systems and the ambient calculus Torben Amtoft OriginalPaper 17 October 2008 Pages: 411 - 442