jnf-theses.bib

@COMMENT{{This file has been generated by bib2bib 1.80}}

@COMMENT{{Command line: bib2bib -ob jnf-theses.bib -oc jnf-theses.keys -c '(jnf:"yes") & ($type="MASTERSTHESIS")' jnf.bib}}

@MASTERSTHESIS{hps-diss03,
  AUTHOR = {J N Foster},
  TITLE = {Indexicals and Belief Reports},
  TYPE = {{MP}hil Dissertation},
  SCHOOL = {Department of History and Philosophy of Science, University of Cambridge},
  ADDRESS = {Cambridge, UK},
  MONTH = JUN,
  YEAR = 2003,
  PDF = {http://www.cis.upenn.edu/~jnfoster/papers/hps-diss.pdf},
  JNF = {yes}
}

@MASTERSTHESIS{cl-diss02,
  AUTHOR = {John N Foster},
  TITLE = {Model Checking for a Functional Hardware Description Language},
  SCHOOL = {Computer Laboratory, University of Cambridge},
  ADDRESS = {Cambridge, UK},
  MONTH = JUN,
  YEAR = {2002},
  TYPE = {{T}ripos Dissertation},
  PDF = {http://www.cis.upenn.edu/~jnfoster/papers/cl-diss.pdf},
  JNF = {yes}
}

@MASTERSTHESIS{williams-thesis01,
  AUTHOR = {John N Foster},
  TITLE = {Rupiah: Towards an Expressive Static Type System for Java},
  TYPE = {Senior Honors Thesis},
  SCHOOL = {Department of Computer Science, Williams College},
  ADDRESS = {Williamstown, MA},
  MONTH = JUN,
  YEAR = 2001,
  PDF = {http://www.cis.upenn.edu/~jnfoster/papers/williams-thesis.pdf},
  JNF = {yes}
}