@INBOOK{girard_godel,
  author = {Jean-Yves Girard},
  chapter = {Le champ du signe},
  title = {Le th{\'e}r{\`e}me de G{\"o}del},
  publisher = {Le Seuil},
  address = {Paris},
  year = 1989
}

@BOOK{zizek_desert,
  author = {Slavoj Zizek},
  title = {Welcome to the Desert of the Real!},
  publisher = {Verso},
  year = 2001
}

@BOOK{bukowski_alone,
  author = {Charles Bukowski},
  title = {You get so alone at times it just makes sense},
  publisher = {Black Sparrow Press},
  year = 1986
}

@ARTICLE{mairson_linear_lambda_ptime,
  author = {Harry G. Mairson},
  title = {Linear lambda calculus and PTIME-completeness},
  journal = {J. Funct. Program.},
  volume = {14},
  number = {6},
  year = {2004},
  issn = {0956-7968},
  pages = {623--633},
  doi = {http://dx.doi.org/10.1017/S0956796804005131},
  publisher = {Cambridge University Press},
  address = {New York, NY, USA},
}

@INPROCEEDINGS{sereni_icfp07, 
  author = {Damien Sereni}, 
  title = {Termination Analysis and Call Graph Construction for Higher-Order Functional Programs}, 
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007)}, 
  editor = {Norman Ramsey}, 
  publisher = {ACM Press},
  year = {2007}, 
  url = {http://metacomp.comlab.ox.ac.uk/Members/damien/publications/icfp07.pdf},
}

@INPROCEEDINGS{vanhorn_icfp07,
 author = {David {Van Horn} and Harry G. Mairson},
 title = {Relating Complexity and Precision in Control Flow Analysis},
 booktitle = {Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP 2007)},
 year = {2007},
 isbn = {978-1-59593-815-2},
 pages = {85--96},
 location = {Freiburg, Germany},
 doi = {http://doi.acm.org/10.1145/1291151.1291166},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 url = {http://www.cs.brandeis.edu/~dvanhorn/pubs/vanhorn-mairson-icfp07.pdf}
 }


@INPROCEEDINGS{reynolds_def_interpreters,
  author = {John C. Reynolds},
  title = {Definitional interpreters for higher-order programming languages},
  booktitle = {ACM '72: Proceedings of the ACM annual conference},
  year = {1972},
  pages = {717--740},
  location = {Boston, Massachusetts, United States},
  doi = {http://doi.acm.org/10.1145/800194.805852},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  note = {Reprinted in {\em Higher-Order and Symbolic Computation}, 11(4):363-397, 1998},
  url = {http://www.brics.dk/~hosc/local/HOSC-11-4-pp363-397.pdf}
}

@ARTICLE{plotkin_cbn_cbv,
  author    = {Gordon D. Plotkin},
  title     = {Call-by-Name, Call-by-Value and the lambda-Calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {1},
  number    = {2},
  year      = {1975},
  pages     = {125-159},
  url = {http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf}
}

@BOOK{church_lambda,
  author = {Alonzo Church},
  title = {The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)},
  year = {1985},
  isbn = {0691083940},
  publisher = {Princeton University Press},
  address = {Princeton, NJ, USA}
}

@INPROCEEDINGS{kanellakis_mitchell_ml,
  author = {P. C. Kanellakis and J. C. Mitchell},
  title = {Polymorphic unification and ML typing},
  booktitle = {POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  year = {1989},
  isbn = {0-89791-294-2},
  pages = {105--115},
  location = {Austin, Texas, United States},
  doi = {http://doi.acm.org/10.1145/75277.75286},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@TECHREPORT{steele_rabbit,
  author = {Guy L. Steele, Jr.},
  title = {Rabbit: A Compiler for Scheme},
  year = {1978},
  source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Amitai%3AMIT-AILab%2F%2FAITR-474},
  publisher = {Massachusetts Institute of Technology},
  address = {Cambridge, MA, USA},
}

@ARTICLE{scott_datatypes,
  author    = {Dana S. Scott},
  title     = {Data Types as Lattices},
  journal   = {SIAM J. Comput.},
  volume    = {5},
  number    = {3},
  year      = {1976},
  pages     = {522-587},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PHDTHESIS{wadsworth_phd,
  author = "Christopher P. Wadsworth", 
  title = "Semantics and Pragmatics of the Lambda-Calculus",
  school = "Oxford University", 
  year = "1971"
}

@TECHREPORT{midtgaard_brics07,
  author =       {Jan Midtgaard},
  title =        {Control-flow analysis of functional programs},
  institution =  {DAIMI, Department of Computer Science, University of Aarhus},
  year =         {2007},
  type =         {Technical Report},
  number =       {BRICS RS-07-18},
  address =      {Aarhus, Denmark},
  month =        {Dec},
  url =          {http://www.brics.dk/RS/07/18/BRICS-RS-07-18.pdf}
 }