@techreport{tr-ece-08-01,
 author = {J. M. Siskind and
           B. A. Pearlmutter},
 title = {Using Polyvariant Union-Free Flow Analysis to Compile a Higher-Order
          Functional-Programming Language with a First-Class Derivative
          Operator to Efficient {F}ortran-like Code},
 number = {TR-ECE-08-01},
 institution = {School of Electrical and Computer Engineering, Purdue
                University},
 month = jan,
 year = 2008,
 url = {http://docs.lib.purdue.edu/ecetr/367}}