dvanhorn @ λ-calcul.us

This bibliography contains references for all the works cited throughout this site. The entire bibtex file can be found here: main.bib.

• [2007,inproceedings] bibtex
  D. Van Horn and H. G. Mairson, "Relating Complexity and Precision in Control Flow Analysis," in Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), New York, NY, USA, 2007, pp. 85-96.
  @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}
}
• [2007,inproceedings] bibtex
  D. Sereni, "Termination Analysis and Call Graph Construction for Higher-Order Functional Programs," in Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), 2007.
  @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},
  }
• [2007,techreport] bibtex
  J. Midtgaard, "Control-flow analysis of functional programs," DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, Technical Report BRICS RS-07-18, 2007.
  @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}
• [2004,article] bibtex
  H. G. Mairson, "Linear lambda calculus and PTIME-completeness," J. Funct. Program., vol. 14, iss. 6, pp. 623-633, 2004.
  @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},
  }
• [2001,book] bibtex
  S. Zizek, Welcome to the Desert of the Real!, Verso, 2001.
  @BOOK{zizek_desert,
  author = {Slavoj Zizek},
  title = {Welcome to the Desert of the Real!},
  publisher = {Verso},
  year = 2001 }
• [1989,inproceedings] bibtex
  P. C. Kanellakis and J. C. Mitchell, "Polymorphic unification and ML typing," in POPL ‘89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, NY, USA, 1989, pp. 105-115.
  @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},
  }
• [1989,inbook] bibtex
  J. Girard, "Le thérème de Gödel." Paris: Le Seuil, 1989.
  @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 }
• [1986,book] bibtex
  C. Bukowski, You get so alone at times it just makes sense, Black Sparrow Press, 1986.
  @BOOK{bukowski_alone,
  author = {Charles Bukowski},
  title = {You get so alone at times it just makes sense},
  publisher = {Black Sparrow Press},
  year = 1986 }
• [1985,book] bibtex
  A. Church, The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies), Princeton, NJ, USA: Princeton University Press, 1985.
  @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}
}
• [1978,techreport] bibtex
  J. Guy L. Steele, "Rabbit: A Compiler for Scheme," , Cambridge, MA, USA1978.
  @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},
  }
• [1976,article] bibtex
  D. S. Scott, "Data Types as Lattices," SIAM J. Comput., vol. 5, iss. 3, pp. 522-587, 1976.
  @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}
}
• [1975,article] bibtex
  G. D. Plotkin, "Call-by-Name, Call-by-Value and the lambda-Calculus," Theor. Comput. Sci., vol. 1, iss. 2, pp. 125-159, 1975.
  @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}
}
• [1972,inproceedings] bibtex
  J. C. Reynolds, "Definitional interpreters for higher-order programming languages," in ACM ‘72: Proceedings of the ACM annual conference, New York, NY, USA, 1972, pp. 717-740.
  @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}
}
• [1971,phdthesis] bibtex
  C. P. Wadsworth, "Semantics and Pragmatics of the Lambda-Calculus," PhD Thesis , 1971.
  @PHDTHESIS{wadsworth_phd,
  author = "Christopher P. Wadsworth", title = "Semantics and Pragmatics of the Lambda-Calculus", school = "Oxford University", year = "1971" }