@booklet{nist02,
title={{The Economic Impacts of Inadequate Infrastructure for Software Testing}},
author={{Research Triangle Institute}},
note={{Sponsored by the Department of Commerce's National Institute of Standards and Technology}},
year=2002}

@booklet{fbi05,
title={{2005 FBI Computer Crime Survey}},
author={{United States Federal Bureau of Investigation}}}

@manual{coq,
author={{The Coq Development Team}},
title={{The Coq Proof Assistant Reference Manual, Version V8.0}},
year=2004,
note="http://coq.inria.fr"}

@book{coqart,
author="Y. Bertot and P. Cast{\'e}ran",
title={{Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions}},
publisher="Springer Verlag",
year=2004}

@inproceedings{wsw-icfp05,
author="E. Westbrook and A. Stump and I. Wehrman",
title={{A Language-based Approach to Functionally Correct Imperative Programming}},
booktitle="Proceedings of the 10th International Conference on Functional Programming (ICFP05)",
location="Tallinn, Estonia",
year="2005"}

@phdthesis{norell07,
author="U. Norell",
title={{Towards a Practical Programming Language Based on Dependent Type Theory}},
school={{Chalmers University of Technology}},
year=2007} 

@inproceedings{pasalic+07,
title={{Concoqtion: Indexed Types Now!}},
author="E Pasalic and J. Siek and W. Taha and S. Fogarty",
booktitle="ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation",
year="2007",
editor="G. Ramalingam and E. Visser"}

@inproceedings{sheard06,
author="T. Sheard",
title={{Type-Level Computation Using Narrowing in $\Omega$mega}},
booktitle="Programming Languages meets Program Verification",
year=2006,
editors="A. Stump and H. Xi"}


@inproceedings{nanevski+08,
  author    = {A. Nanevski and
               G. Morrisett and
               A. Shinnar and
               P. Govereau and
               L. Birkedal},
  title     = {{Ynot: Dependent Types for Imperative Programs}},
  year      = {2008},
  pages     = {229-240},
  editor    = {James Hook and
               Peter Thiemann},
  booktitle     = {The 13th ACM SIGPLAN International Conference
               on Functional Programming (ICFP)},
}


@techreport{licata+05,
title={{A Formulation of Dependent ML with Explicit Equality Proofs}},
author="D. Licata and R. Harper",
institution={{Carnegie Mellon University School of Computer Science}},
number="CMU-CS-05-178",
month=dec,
year=2005}

@inproceedings{chenxi05,
author = "C. Chen and H. Xi",
title = {{Combining Programming with Theorem Proving}},
booktitle = "Proceedings of the 10th International Conference on Functional Programming (ICFP05)",
year = "2005",
month = "September",
address = "Tallinn, Estonia"}

@article{mcbride+04,
author="C. McBride and J. McKinna",
title={{The View from the Left}},
journal="Journal of Functional Programming",
year=2004,
volume=14,
number=1}


@inproceedings{Jones+06,
  author    = {S. Peyton Jones and
               D. Vytiniotis and
               S. Weirich and
               G. Washburn},
  title     = {{Simple Unification-Based Type Inference for GADTs}},
  booktitle = {ICFP},
  year      = {2006},
  pages     = {50-61},
  editor    = {J. Reppy and
               J. Lawall},
  title     = {The 11th ACM SIGPLAN International Conference
               on Functional Programming (ICFP)},
}

@book{ml84,
title="Intuitionistic type theory",
author="P. Martin-L{\"o}f",
publisher="Bibliopolis",
year=1984}

@mastersthesis{petcher08,
 author="A. Petcher",
 title={{Deciding Joinability Modulo Ground Equations in                              
Operational Type Theory.}},
 school={{Washington University in Saint Louis}},
 year="2008",
 month="May",
note="Available from \url{http://www.cs.uiowa.edu/~astump}"
}

@article{xian08,
 author = {F. Xian and W. Srisa-an and H. Jiang},
 title = {{Garbage Collection: Java Application Servers' Achilles Heel}},
 journal = {Sci. Comput. Program.},
 volume = {70},
 number = {2-3},
 year = {2008},
 pages = {89--110},
 publisher = {Elsevier}
 }

@inproceedings{hertz+05,
 author = {Matthew Hertz and Emery D. Berger},
 title = {{Quantifying the Performance of Garbage Collection vs. Explicit Memory Management}},
 booktitle = {Proc. 20th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications},
 year = {2005},
 pages = {313--326},
 publisher = {ACM}}
