Bibliography of Fox Project publications in BibTeX format

Editor: David Swasey, swasey at cs.cmu.edu
Last Updated: Fri May 4 2001
Size: 222 entries

This is a bibliography of Fox Project publications.  Related work not
sponsored by the Fox Project is excluded.  An HTML formatted version
of this bibliography should be available under
<URL:http://www.cs.cmu.edu/~fox/publications.html>.

This, like any bibliography, is incomplete.  Any corrections, updates,
comments, suggestion, new entries, new URL's for papers, etc. are very
much appreciated.

I follow many of the conventions described in Frank Pfenning's Logical
Frameworks bibliography.  I use his tools for extracting entries by
keyword and to handle conversion to HTML.  I use Nelson H. F. Beebe's
bibclean tool for pretty-printing.

Keywords:
	til	  --- related to typed intermediate and assembly languages
	pcc	  --- related to proof-carrying code
	lf	  --- related to logical frameworks
	staged	  --- related to staged computation
	languages --- related to language design
	foxnet	  --- related to the FoxNet
	misc	  --- everything else

URL types:  url, urlabstract, urlhtml, urldvi, urlps, urlpdf

@Unpublished{Halpern?bsl,
  author =       "Joseph Y. Halpern and Robert Harper and Neil Immerman
                 and Phokion G. Kolaitis and Moshe Y. Vardi and Victor
                 Vianu",
  title =        "On the Unusual Effectiveness of Logic in Computer
                 Science",
  note =         "Submitted for publication to the {\em Bulletin of
                 Symbolic Logic}",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/unreasonable/basl.ps",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/unreasonable/basl.pdf",
  keywords =     "misc",
}

@Unpublished{Birkedal?tcs,
  author =       "Lars Birkedal and Robert Harper",
  title =        "Relational Interpretations of Recursive Types in an
                 Operational Setting",
  note =         "To appear in {\em Theoretical Computer Science}",
  annote =       "Extended version of~\cite{Birkedal97tacs}",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/relations/tcs.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/relations/tcs.dvi",
  keywords =     "languages",
}

@Unpublished{Constable?festschrift,
  author =       "Robert L. Constable and Karl Crary",
  title =        "Computational Complexity and Induction for Partial
                 Computable Functions in Type Theory",
  note =         "To appear in Feferman Festschrift",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1998/hat/hat-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1998/hat/hat.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1998/hat/hat.dvi",
  keywords =     "languages",
}

@Unpublished{Morrisett?jfp,
  author =       "Greg Morrisett and Karl Crary and Neal Glew and David
                 Walker",
  title =        "Stack-Based Typed Assembly Language",
  note =         "To appear in the {\em Journal of Functional
                 Programming}",
  annote =       "An earlier version appeared in~\cite{Morrisett98tic}",
  keywords =     "til",
}

@Unpublished{Biagioni?hosc,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee",
  title =        "A Network Protocol Stack in {Standard ML}",
  note =         "Submitted for publication to {\em Higher-Order and
                 Symbolic Computation}",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/foxnet/final.pdf",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/foxnet/abstract.txt",
  keywords =     "foxnet",
}

@Unpublished{Cervesato?jsc,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "Linear Higher-Order Pre-Unification",
  note =         "Submitted for publication to the {\em Journal of
                 Symbolic Computation}",
  annote =       "Extended version of~\cite{Cervesato97lics}",
  keywords =     "lf",
}

@Unpublished{Riecke?ic,
  author =       "Jon G. Riecke and Christopher A. Stone",
  title =        "Privacy via Subsumption",
  note =         "Submitted for publication to {\em Information and
                 Computation}",
  annote =       "Revised and extended version~\cite{Riecke98fool}",
  urlps =        "http://www.cs.hmc.edu/~stone/papers/tapos-final.ps",
  keywords =     "languages",
}

@Unpublished{Cervesato?ic,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "A Linear Logical Framework",
  note =         "Submitted for publication to {\em Information and
                 Computation}",
  annote =       "Extended version of~\cite{Cervesato96lics}",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/llf00.ps.gz",
  keywords =     "lf",
}

@Unpublished{Schurmann?tcs,
  author =       "Carsten Sch{\"u}rmann and J{\"o}elle Despeyroux and
                 Frank Pfenning",
  title =        "Primitive Recursion for Higher-Order Abstract Syntax",
  note =         "To appear in {\em Theoretical Computer Science}",
  annote =       "Preliminary version available
                 as~\cite{Despeyroux96tr172}",
  keywords =     "languages",
}

@Unpublished{Colby?tcs,
  author =       "Christopher Colby and Karl Crary and Robert Harper and
                 Peter Lee and Frank Pfenning",
  title =        "Automated Techniques for Provably Safe Mobile Code",
  note =         "To appear in a special issue of Theoretical Computer
                 Science on {\em Dependable Computing}",
  annote =       "Preliminary version appeared in~\cite{Crary00discex}",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/certcomp/tcs.abstract",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/tcs00.ps.gz",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/certcomp/tcs.pdf",
  keywords =     "lf, pcc, til",
}

@Unpublished{Davies?jacm,
  author =       "Rowan Davies and Frank Pfenning",
  title =        "A Modal Analysis of Staged Computation",
  note =         "To appear in the {\em Journal of the ACM}",
  annote =       "Preliminary version available
                 as~\cite{Davies99tr153}",
  keywords =     "staged",
}

@Unpublished{Pfenning?handbook,
  author =       "Frank Pfenning",
  title =        "Logical Frameworks",
  note =         "In press. Chapter 16 of Alan Robinson and Andrei
                 Voronkov, editors, {\em Handbook of Automated
                 Reasoning}, to be published by Elsevier Science and MIT
                 Press",
  keywords =     "lf",
}

@Unpublished{Pfenning?mscs,
  author =       "Frank Pfenning and Rowan Davies",
  title =        "A Judgmental Reconstruction of Modal Logic",
  note =         "To appear in {\em Mathematical Structures in Computer
                 Science}. Notes to an invited talk at the {\em Workshop
                 on Intuitionistic Modal Logics and Applications},
                 Trento, Italy, July 1999",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/mscs00.ps.gz",
  keywords =     "staged",
}

2Q2001

@TechReport{Crary01tr113,
  author = 	 "Karl Crary and Joseph C. Vanderwaart",
  title = 	 "An Expressive, Scalable Type Theory for Certified Code",
  institution =  "School of Computer Science, Carnegie Mellon University",
  year = 	 "2001",
  number =	 "CMU-CS-01-113",
  month =	 may,
  urlabstract =	 "http://reports-archive.adm.cs.cmu.edu/anon/2001/abstracts/01-113.html",
  urlps =	 "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-113.ps",
  urlpdf =	 "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-113.pdf",
  keywords =	 "pcc, languages",
}

1Q2001

@TechReport{Dreyer01tr112,
  author =       "Derek R. Dreyer and Robert Harper and Karl Crary",
  title =        "Toward a Practical Type Theory for Recursive Modules",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "2001",
  month =        mar,
  number =       "CMU-CS-01-112",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/2001/abstracts/01-112.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-112.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2001/CMU-CS-01-112.pdf",
  keywords =     "til, languages",
}

4Q2000

@InCollection{Harper00,
  author =       "Robert Harper and Chris Stone",
  title =        "A Type-Theoretic Interpretation of {Standard} {ML}",
  booktitle =    "Proof, Language, and Interaction: Essays in Honor of
                 Robin Milner",
  publisher =    "MIT Press",
  year =         "2000",
  editor =       "Gordon Plotkin and Colin Stirling and Mads Tofte",
  urlps =        "http://www.cs.hmc.edu/~stone/papers/interpret.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/ttisml/ttisml.dvi",
  keywords =     "til",
}

@TechReport{Petersen00tr180,
  author =       "Leaf Petersen and Perry Cheng and Robert Harper and
                 Chris Stone",
  title =        "Implementing the {TILT} Internal Language",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "2000",
  number =       "CMU-CS-00-180",
  month =        dec,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/2000/abstracts/00-180.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-180.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-180.pdf",
  keywords =     "til, languages",
}

3Q2000

@InProceedings{Pfenning00saig,
  author =       "Frank Pfenning",
  title =        "Reasoning About Staged Computation",
  editor =       "W. Taha",
  pages =        "5--6",
  booktitle =    "Proceedings of the International Workshop on
                 Semantics, Applications, and Implementation of Program
                 Generation",
  year =         "2000",
  publisher =    "Springer-Verlag LNCS 1924",
  address =      "Montreal, Canada",
  month =        sep,
  note =         "Abstract of invited talk",
  urlpdf =       "http://www.cs.cmu.edu/~fp/talks/saig00-talk.pdf",
  keywords =     "staged",
}

@InProceedings{Walker00tic,
  author =       "David Walker and Greg Morrisett",
  title =        "Alias Types for Recursive Data Structures",
  booktitle =    "Proceedings of the Workshop on Types in Compilation",
  year =         "2000",
  month =        sep,
  note =         "Proceedings available as School of Computer Science,
                 Carnegie Mellon University Technical Report
                 CMU-CS-00-161",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161K.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161K.pdf",
  keywords =     "languages",
}

@InProceedings{Crary00tic,
  author =       "Karl Crary",
  title =        "Sound and Complete Elimination of Singleton Kinds",
  booktitle =    "Proceedings of the Workshop on Types in Compilation",
  year =         "2000",
  month =        sep,
  note =         "Proceedings available as School of Computer Science,
                 Carnegie Mellon University Technical Report
                 CMU-CS-00-161",
  annote =       "Extended version available as~\cite{Crary00tr104}",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161D.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161D.pdf",
  keywords =     "til",
}

@InProceedings{Hicks00tic,
  author =       "Michael Hicks and Stephanie Weirich and Karl Crary",
  title =        "Safe and Flexible Dynamic Linking of Native Code",
  booktitle =    "Proceedings of the Workshop on Types in Compilation",
  year =         "2000",
  month =        sep,
  note =         "Proceedings available as School of Computer Science,
                 Carnegie Mellon University Technical Report
                 CMU-CS-00-161",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161I.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-161I.pdf",
  keywords =     "til, languages",
}

@InProceedings{Davies00icfp,
  author =       "Rowan Davies and Frank Pfenning",
  title =        "Intersection Types and Computational Effects",
  editor =       "P. Wadler",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "2000",
  publisher =    "ACM Press",
  address =      "Montreal, Canada",
  month =        sep,
  pages =        "198--208",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/icfp00.ps.gz",
  keywords =     "languages",
}

@InProceedings{Crary00icfp,
  author =       "Karl Crary",
  title =        "Typed Compilation of Inclusive Subtyping",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "2000",
  publisher =    "ACM Press",
  address =      "Montreal, Canada",
  month =        sep,
  pages =        "68--81",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/2000/subcomp/subcomp.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/2000/subcomp/subcomp.dvi",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/2000/subcomp/subcomp-abs.txt",
  keywords =     "til",
}

@InProceedings{Schneider00,
  author =       "Fred B. Schneider and Greg Morrisett and Robert
                 Harper",
  title =        "A Language-Based Approach to Security",
  booktitle =    "Informatics --- 10 Years Back, 10 Years Ahead.
                 Proceedings of the Conference on the Occasion of
                 Dagstuhl's 10th Anniversary",
  year =         "2000",
  month =        aug,
  editor =       "Reinhard Wilhelm",
  address =      "Saarbr{\"u}cken, Germany",
  publisher =    "Springer-Verlag LNCS 2000",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.abstract",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.ps",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.pdf",
  keywords =     "til",
}

@PhdThesis{Stone00phd,
  author =       "Christopher Allan Stone",
  title =        "Singleton Kinds and Singleton Types",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "2000",
  month =        aug,
  note =         "Available as Technical Report CMU-CS-00-153",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/theses/stone.pdf",
  keywords =     "til",
}

@PhdThesis{Schurmann00phd,
  author =       "Carsten Sch{\"u}rmann",
  title =        "Automating the Meta Theory of Deductive Systems",
  school =       "Department of Computer Science, Carnegie Mellon
                 University",
  year =         "2000",
  month =        aug,
  note =         "Available as Technical Report CMU-CS-00-146",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/2000/abstracts/00-146.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-146.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-146.pdf",
  keywords =     "lf",
}

@Article{Walker00toplas,
  author =       "David Walker and Karl Crary and Greg Morrisett",
  title =        "Typed Memory Management via Static Capabilities",
  journal =      "Transactions on Programming Languages and Systems",
  year =         "2000",
  volume =       "22",
  number =       "4",
  month =        jul,
  pages =        "701--771",
  annote =       "Supersedes~\cite{Crary99popl}",
  urlabstract =  "http://www.cs.cmu.edu/~dpw/papers/capabilities-toplas-abstract.html",
  urlps =        "http://www.cs.cmu.edu/~dpw/papers/capabilities-toplas_ps.gz",
  keywords =     "til",
}

@TechReport{Harper00tr148,
  author =       "Robert Harper and Frank Pfenning",
  title =        "On Equivalence and Canonical Forms in the {LF} Type
                 Theory",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "2000",
  number =       "CMU-CS-00-148",
  month =        jul,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/2000/abstracts/00-148.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-148.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-148.pdf",
  keywords =     "lf",
}

2Q2000

@InProceedings{Colby00pldi,
  author =       "Christopher Colby and Peter Lee and George C. Necula
                 and Fred Blau and Mark Plesko and Kenneth Cline",
  title =        "A Certifying Compiler for {J}ava",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "2000",
  publisher =    "ACM Press",
  address =      "Vancouver, Canada",
  pages =        "95--107",
  month =        jun,
  urlps =        "http://www.cs.berkeley.edu/~necula/pldi00b.ps.gz",
  keywords =     "lf, pcc",
}

@InProceedings{Pientka00induct,
  author =       "Brigitte Pientka and Frank Pfenning",
  title =        "Termination and Reduction Checking in the Logical
                 Framework",
  editor =       "Carsten Sch{\"u}rmann",
  booktitle =    "Proceedings of the {CADE} Workshop on Automation of
                 Proofs by Mathematical Induction",
  year =         "2000",
  address =      "Pittsburgh, Pennsylvania",
  month =        jun,
  urlps =        "http://www.cs.cmu.edu/~fp/papers/induct00.ps.gz",
  keywords =     "lf",
}

@InProceedings{Polakow00lfm,
  author =       "Jeff Polakow and Frank Pfenning",
  title =        "Properties of Terms in Continuation-Passing Style in
                 an Ordered Logical Framework",
  editor =       "Jo{\"e}lle Despeyroux",
  booktitle =    "Proceedings of the Workshop on Logical Frameworks and
                 Meta-languages",
  year =         "2000",
  address =      "Santa Barbara, California",
  month =        jun,
  urlps =        "http://www.cs.cmu.edu/~fp/papers/lfm00.ps.gz",
  keywords =     "lf",
}

@InProceedings{Schurmann00lfm,
  author =       "Carsten Sch{\"u}rmann",
  title =        "A Meta Logical Framework Based on Realizability",
  booktitle =    "Proceedings of the Workshop on Logical Frameworks and
                 Meta-Languages",
  editor =       "Jo{\"e}lle Despeyroux",
  year =         "2000",
  address =      "Santa Barbara, California",
  month =        jun,
  urlps =        "http://cs-www.cs.yale.edu/homes/carsten/papers/S00a.ps.gz",
  keywords =     "lf",
}

@InProceedings{Necula00cade,
  author =       "George C. Necula and Peter Lee",
  title =        "Proof Generation in the {Touchstone} Theorem Prover",
  editor =       "David McAllester",
  pages =        "25--44",
  booktitle =    "Proceedings of the International Conference on
                 Automated Deduction",
  year =         "2000",
  publisher =    "Springer-Verlag LNAI 1831",
  address =      "Pittsburgh, Pennsylvania",
  month =        jun,
  urlps =        "http://www.cs.berkeley.edu/~necula/cade00.ps.gz",
  keywords =     "lf, pcc",
}

1Q2000

@InProceedings{Smith00esop,
  author =       "Frederick Smith and David Walker and Greg Morrisett",
  title =        "Alias Types",
  booktitle =    "Proceedings of the European Symposium on Programming",
  year =         "2000",
  publisher =    "Springer-Verlag LNCS 1782",
  address =      "Berlin, Germany",
  month =        mar,
  pages =        "366--381",
  urlabstract =  "http://www.cs.cornell.edu/talc/papers/alias-abstract.html",
  urlps =        "http://www.cs.cornell.edu/talc/papers/alias_ps.gz",
  urlpdf =       "http://www.cs.cornell.edu/talc/papers/alias.pdf",
  keywords =     "languages",
}

@Article{Pfenning00ic,
  author =       "Frank Pfenning",
  title =        "Structural Cut Elimination {I}. Intuitionistic and
                 Classical Logic",
  journal =      "Information and Computation",
  year =         "2000",
  volume =       "157",
  number =       "1/2",
  pages =        "84--141",
  month =        mar,
  urlpdf =       "http://www.idealibrary.com/links/artid/inco.1999.2832/production/pdf",
  keywords =     "lf",
}

@Article{Cervesato00tcs,
  author =       "Iliano Cervesato and Joshua S. Hodas and Frank
                 Pfenning",
  title =        "Efficient Resource Management for Linear Logic Proof
                 Search",
  journal =      "Theoretical Computer Science",
  year =         "2000",
  volume =       "232",
  number =       "1--2",
  pages =        "133--163",
  month =        feb,
  annote =       "Extended version of~\cite{Cervesato96elp}",
  urlps =        "http://www.cs.stanford.edu/~iliano/papers/tcs00.ps.gz",
  keywords =     "lf",
}

@InProceedings{Crary00discex,
  author =       "Karl Crary and Robert Harper and Peter Lee and Frank
                 Pfenning",
  title =        "Automated Techniques for Provably Safe Mobile Code",
  booktitle =    "Proceedings of the {DARPA} Information Survivability
                 Conference and Exposition",
  volume =       "1",
  pages =        "406--419",
  year =         "2000",
  address =      "Hilton Head Island, South Carolina",
  month =        jan,
  publisher =    "IEEE Computer Society Press",
  urlabstract =  "http://www.computer.org/proceedings/discex/0490/volume%201/04900406abs.htm",
  urlpdf =       "http://dlib.computer.org/conferen/discex/0490/pdf/04900406.pdf",
  keywords =     "lf, pcc, til",
}

@InProceedings{Pfenning00pepm,
  author =       "Frank Pfenning",
  title =        "On the Logical Foundations of Staged Computation",
  editor =       "Julia Lawall",
  pages =        "33",
  booktitle =    "Proceedings of the Workshop on Partial Evaluation and
                 Semantics-Based Program Manipulation",
  year =         "2000",
  publisher =    "ACM Press",
  address =      "Boston, Massachusetts",
  month =        jan,
  note =         "Abstract of invited talk",
  urlps =        "http://www.cs.cmu.edu/~fp/talks/pepm00-talk.ps",
  keywords =     "staged",
}

@InProceedings{Stone00popl,
  author =       "Christopher A. Stone and Robert Harper",
  title =        "Deciding Type Equivalence in a Language with Singleton
                 Kinds",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  pages =        "214--227",
  year =         "2000",
  address =      "Boston, Massachusetts",
  month =        jan,
  annote =       "Extended version available as~\cite{Stone99tr155}",
  urlps =        "http://www.cs.hmc.edu/~stone/papers/popl00-preprint.ps",
  keywords =     "til",
}

@InProceedings{Crary00popl,
  author =       "Karl Crary and Stephanie Weirich",
  title =        "Resource Bound Certification",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "2000",
  address =      "Boston, Massachusetts",
  month =        jan,
  pages =        "184--198",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/res/res-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/res/res.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1999/res/res.dvi",
  keywords =     "til",
}

@TechReport{Crary00tr104,
  author =       "Karl Crary",
  title =        "Sound and Complete Elimination of Singleton Kinds",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "2000",
  number =       "CMU-CS-00-104",
  month =        jan,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/2000/abstracts/00-104.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-104.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-104.pdf",
  keywords =     "til",
}

4Q1999

@InProceedings{Momigliano99iclp,
  author =       "Alberto Momigliano and Frank Pfenning",
  title =        "The Relative Complement Problem for Higher-Order
                 Patterns",
  editor =       "D. De Schreye",
  booktitle =    "Proceedings of the International Conference on Logic
                 Programming",
  year =         "1999",
  publisher =    "MIT Press",
  address =      "Las Cruces, New Mexico",
  month =        nov,
  pages =        "380--394",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/iclp99.ps.gz",
  keywords =     "languages",
}

@Article{Birkedal99ic,
  author =       "Lars Birkedal and Robert Harper",
  title =        "Relational Interpretations of Recursive Types in an
                 Operational Setting",
  journal =      "Information and Computation",
  year =         "1999",
  volume =       "155",
  number =       "1/2",
  month =        nov,
  pages =        "3--63",
  urlpdf =       "http://www.idealibrary.com/links/doi/10.1006/inco.1999.2828/pdf",
  keywords =     "languages",
}

3Q1999

@InProceedings{Harper99lfm,
  author =       "Robert Harper and Frank Pfenning",
  title =        "On Equivalence and Canonical Forms in the {LF} Type
                 Theory (Extended Abstract)",
  booktitle =    "Proceedings of the Workshop on Logical Frameworks and
                 Meta-Languages",
  editor =       "Amy Felty",
  year =         "1999",
  address =      "Paris, France",
  month =        sep,
  annote =       "Extended version available as~\cite{Harper99tr159}",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/lf-theory/abstract",
  urlps =        "http://plan9.bell-labs.com/who/felty/LFM99/HarperPfenning.ps.gz",
  keywords =     "lf",
}

@TechReport{Harper99tr159,
  author =       "Robert Harper and Frank Pfenning",
  title =        "On Equivalence and Canonical Forms in the {LF} Type
                 Theory",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1999",
  number =       "CMU-CS-99-159",
  month =        sep,
  annote =       "Superseded by~\cite{Harper00tr148}",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-159.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-159.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-159.pdf",
  keywords =     "lf",
}

@InProceedings{Pfenning99ppdp,
  author =       "Frank Pfenning",
  title =        "Logical and Meta-Logical Frameworks",
  booktitle =    "Proceedings of the International Conference on
                 Principles and Practice of Declarative Programming",
  editor =       "G. Nadathur",
  year =         "1999",
  publisher =    "Springer-Verlag LNCS 1702",
  address =      "Paris, France",
  month =        sep,
  pages =        "206",
  note =         "Abstract of invited talk",
  urlps =        "http://www.cs.cmu.edu/~fp/talks/ppdp99-talk.ps",
  keywords =     "lf",
}

@InProceedings{Crary99icfpb,
  author =       "Karl Crary and Stephanie Weirich",
  title =        "Flexible Type Analysis",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1999",
  address =      "Paris, France",
  month =        sep,
  pages =        "233--248",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/lx/lx-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/lx/lx.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1999/lx/lx.dvi",
  keywords =     "til",
}

@InProceedings{Crary99icfpa,
  author =       "Karl Crary",
  title =        "A Simple Proof Technique for Certain Parametricity
                 Results",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1999",
  address =      "Paris, France",
  month =        sep,
  pages =        "82--89",
  annnote =      "Should also be published as Technical Report
                 CMU-CS-98-185",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1998/param/param-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1998/param/param.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1998/param/param.dvi",
  keywords =     "til",
}

@PhdThesis{Virga99phd,
  author =       "Roberto Virga",
  title =        "Higher-Order Rewriting with Dependent Types",
  school =       "Department of Mathematical Sciences, Carnegie Mellon
                 University",
  month =        sep,
  year =         "1999",
  note =         "Available as Technical Report CMU-CS-99-167",
  urldvi =       "http://www.cs.cmu.edu/~rvirga/papers/thesis.dvi",
  urlps =        "http://www.cs.cmu.edu/~rvirga/papers/thesis.ps",
  urlpdf =       "http://www.cs.cmu.edu/~rvirga/papers/thesis.pdf",
  keywords =     "lf",
}

@TechReport{Stone99tr155,
  author =       "Christopher A. Stone and Robert Harper",
  title =        "Deciding Type Equivalence for a Language with
                 Singleton Kinds",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1999",
  month =        sep,
  number =       "CMU-CS-99-155",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-155.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-155.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-155.pdf",
  keywords =     "til",
}

@TechReport{Davies99tr153,
  author =       "Rowan Davies and Frank Pfenning",
  title =        "A Modal Analysis of Staged Computation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1999",
  month =        aug,
  number =       "CMU-CS-99-153",
  annote =       "Extended version of~\cite{Davies96popl}",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-153.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-153.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-153.pdf",
  keywords =     "staged",
}

@Article{Harper99jfp,
  author =       "Robert Harper",
  title =        "Functional Pearl: Proof-Directed Debugging",
  journal =      "Journal of Functional Programming",
  year =         "1999",
  volume =       "9",
  number =       "4",
  month =        jul,
  pages =        "463--469",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/regexp/abstract/index.htm",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/regexp/jfp.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/regexp/jfp.dvi",
  keywords =     "misc",
}

@InProceedings{Crary99icalp,
  author =       "Karl Crary and Greg Morrisett",
  title =        "Type Structure for Low-Level Programming Langauges",
  booktitle =    "Proceedings of the International Colloquium on
                 Automata, Languages, and Programming",
  year =         "1999",
  publisher =    "Springer-Verlag LNCS 1644",
  address =      "Prague, Czech Republic",
  month =        jul,
  pages =        "40--54",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/tal-tutorial/tutorial-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/tal-tutorial/tutorial.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1999/tal-tutorial/tutorial.dvi",
  keywords =     "til",
}

@InProceedings{Pfenning99cade,
  author =       "Frank Pfenning and Carsten Sch{\"u}rmann",
  title =        "System Description: Twelf --- {A} Meta-Logical
                 Framework for Deductive Systems",
  editor =       "H. Ganzinger",
  pages =        "202--206",
  booktitle =    "Proceedings of the International Conference on
                 Automated Deduction",
  year =         "1999",
  publisher =    "Springer-Verlag LNAI 1632",
  address =      "Trento, Italy",
  month =        jul,
  urlps =        "http://www.cs.cmu.edu/~fp/papers/cade99.ps.gz",
  keywords =     "lf",
}

@InProceedings{Plesko99,
  author =       "Mark Plesko and Frank Pfenning",
  title =        "A Formalization of the Proof-Carrying Code
                 Architecture in a Linear Logical Framework",
  editor =       "A. Pnueli and P. Traverso",
  booktitle =    "Proceedings of the {FLoC} Workshop on Run-Time Result
                 Verification",
  year =         "1999",
  address =      "Trento, Italy",
  month =        jul,
  urlps =        "http://www.cs.cmu.edu/~fp/papers/pccllf99.ps.gz",
  keywords =     "lf, pcc",
}

@TechReport{Xi99tr008,
  author =       "Hongwei Xi and Robert Harper",
  title =        "A Dependently Typed Assembly Language",
  institution =  "Department of Computer Science and Engineering, Oregon
                 Graduate Institute of Science and Technology",
  year =         "1999",
  number =       "OGI-CSE-99-008",
  month =        jul,
  urlabstract =  "http://www.ececs.uc.edu/~hwxi/academic/papers/DTALabs.ps",
  urlps =        "ftp://cse.ogi.edu/pub/tech-reports/1999/99-008.ps.gz",
  urlpdf =       "http://www.ececs.uc.edu/~hwxi/academic/papers/DTAL.pdf",
  keywords =     "til, languages",
}

2Q1999

@TechReport{Derby99tr137,
  author =       "Herb Derby",
  title =        "The Performance of {F}ox{N}et 2.0",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1999",
  number =       "CMU-CS-99-137",
  month =        jun,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-137.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-137.ps",
  keywords =     "foxnet",
}

@InProceedings{Blelloch99pldi,
  author =       "Guy E. Blelloch and Perry Cheng",
  title =        "On Bounding Time and Space for Multiprocessor Garbage
                 Collection",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1999",
  publisher =    "ACM Press",
  address =      "Atlanta, Georgia",
  month =        may,
  pages =        "104--117",
  urlabstract =  "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/pldi99.html",
  urlps =        "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/pldi99.ps.gz",
  urlpdf =       "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/pldi99.pdf",
  keywords =     "misc",
}

@InProceedings{Crary99pldi,
  author =       "Karl Crary and Robert Harper and Sidd Puri",
  title =        "What is a Recursive Module?",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1999",
  publisher =    "ACM Press",
  address =      "Atlanta, Georgia",
  month =        may,
  pages =        "50--63",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/recmod/recmod-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/recmod/recmod.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1999/recmod/recmod.dvi",
  keywords =     "languages",
}

@Article{Morrisett99toplas,
  author =       "Greg Morrisett and David Walker and Karl Crary and
                 Neal Glew",
  title =        "From {System} {F} to Typed Assembly Language",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  year =         "1999",
  volume =       "21",
  number =       "3",
  month =        may,
  pages =        "527--568",
  note =         "Extended version of paper presented at the {\em
                 Symposium on Principles of Programming Languages}, San
                 Diego, California, January 1998",
  urlabstract =  "http://www.cs.cornell.edu/talc/papers/tal-popl-abstract.html",
  urldvi =       "http://www.cs.cornell.edu/talc/papers/tal-popl.dvi",
  urlpdf =       "http://www.cs.cornell.edu/talc/papers/tal-popl.pdf",
  urlps =        "http://www.cs.cornell.edu/talc/papers/tal-popl.ps.gz",
  keywords =     "til",
}

@InProceedings{Morrisett99wcsss,
  author =       "Greg Morrisett and Karl Crary and Neal Glew and Dan
                 Grossman and Richard Samuels and Frederick Smith and
                 David Walker and Stephanie Weirich and Steve
                 Zdancewic",
  title =        "{TALx86}: {A} Realistic Typed Assembly Language",
  booktitle =    "Informal Proceedings of the Workshop on Compiler
                 Support for Systems Software",
  year =         "1999",
  address =      "Atlanta, Georgia",
  month =        may,
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/talx86/talx86-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/talx86/talx86.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1999/talx86/talx86.dvi",
  keywords =     "til",
}

@Article{Harper99ipl,
  author =       "Robert Harper and John C. Mitchell",
  title =        "Parametricity and Variants of Girard's {J} Operator",
  journal =      "Information Processing Letters",
  year =         "1999",
  volume =       "70",
  number =       "1",
  month =        apr,
  pages =        "1--5",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/girard-j/abstract/index.htm",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/girard-j/girard-j-ipl.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/girard-j/girard-j-ipl.dvi",
  keywords =     "languages",
}

@InProceedings{Polakow99mfps,
  author =       "Jeff Polakow and Frank Pfenning",
  title =        "Relating Natural Deduction and Sequent Calculus for
                 Intuitionistic Non-Commutative Linear Logic",
  editor =       "Andre Scedrov and Achim Jung",
  booktitle =    "Proceedings of the Conference on Mathematical
                 Foundations of Programming Semantics",
  year =         "1999",
  address =      "New Orleans, Louisiana",
  month =        apr,
  note =         "Electronic Notes in Theoretical Computer Science,
                 Volume 20",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/mfps99.ps.gz",
  keywords =     "lf",
}

@InProceedings{Polakow99tlca,
  author =       "Jeff Polakow and Frank Pfenning",
  title =        "Natural Deduction for Intuitionistic Non-Commutative
                 Linear Logic",
  editor =       "J.-Y. Girard",
  booktitle =    "Proceedings of the International Conference on Typed
                 Lambda Calculi and Applications",
  year =         "1999",
  publisher =    "Springer-Verlag LNCS 1581",
  address =      "L'Aquila, Italy",
  month =        apr,
  pages =        "295--309",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/tlca99.ps.gz",
  keywords =     "lf",
}

1Q1999

@Unpublished{MLWG99,
  author =       "The ML2000 Working Group",
  key =          "ML2000",
  title =        "Principles and a Preliminary Design for {ML2000}",
  note =         "Unpublished",
  year =         "1999",
  month =        mar,
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/ml2k-prelim/ml2k-prelim-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/ml2k-prelim/ml2k-prelim.ps.gz",
  keywords =     "languages",
}

@InProceedings{Xi99dtp,
  author =       "Hongwei Xi and Robert Harper",
  title =        "A Dependently Typed Assembly Language",
  booktitle =    "Informal Proceedings of the Workshop on Dependent
                 Types in Programming",
  year =         "1999",
  address =      "G{\"o}teborg",
  month =        mar,
  keywords =     "til, languages",
}

@InProceedings{Xi99popl,
  author =       "Hongwei Xi and Frank Pfenning",
  title =        "Dependent Types in Practical Programming (Extended
                 Abstract)",
  editor =       "A. Aiken",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1999",
  address =      "San Antonio, Texas",
  month =        jan,
  pages =        "214--227",
  urlps =        "http://www.ececs.uc.edu/~hwxi/academic/papers/popl99.ps",
  urlpdf =       "http://www.ececs.uc.edu/~hwxi/academic/papers/popl99.pdf",
  keywords =     "languages",
}

@InProceedings{Crary99popl,
  author =       "Karl Crary and David Walker and Greg Morrisett",
  title =        "Typed Memory Management in a Calculus of
                 Capabilities",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1999",
  address =      "San Antonio, Texas",
  month =        jan,
  pages =        "262--275",
  annote =       "Superseded by \cite{Walker00toplas}",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1999/regions/regions-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1999/regions/regions.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1999/regions/regions.dvi",
  keywords =     "til",
}

@TechReport{Crary99tr100,
  author =       "Karl Crary",
  title =        "Simple, Efficient Object Encoding using Intersection
                 Types",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1999",
  number =       "CMU-CS-99-100",
  month =        jan,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-100.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-100.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-100.pdf",
  keywords =     "languages",
}

4Q1998

@PhdThesis{Xi98phd,
  author =       "Hongwei Xi",
  title =        "Dependent Types in Practical Programming",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  month =        dec,
  urlpdf =       "http://www.cs.cmu.edu/~rwh/theses/xi.pdf",
  keywords =     "languages",
}

@TechReport{Morrisett98tr178,
  author =       "Greg Morrisett and Karl Crary and David Walker and
                 Neal Glew",
  title =        "Stack-Based Typed Assembly Language",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  number =       "CMU-CS-98-178",
  month =        nov,
  annote =       "An earlier version appeared in~\cite{Morrisett98tic}",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-178.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-178.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-178.pdf",
  keywords =     "til",
}

@TechReport{Crary98tr177,
  author =       "Karl Crary and Robert Harper and Perry Cheng and Leaf
                 Petersen and Chris Stone",
  title =        "Transparent and Opaque Interpretations of Datatypes",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  month =        nov,
  number =       "CMU-CS-98-177",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-177.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-177.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-177.pdf",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/transop/transop.dvi",
  keywords =     "til, languages",
}

@TechReport{Crary98tr164,
  author =       "Karl Crary",
  title =        "Admissibility of Fixpoint Induction over Partial
                 Types",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  number =       "CMU-CS-98-164",
  month =        oct,
  note =         "A shorter version of this paper was presented at the
                 {\em International Conference on Automated Deduction},
                 Lindau, Germany, July 1998",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-164.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-164.ps",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1998/admiss/admiss.dvi",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-164.pdf",
  keywords =     "languages",
}

@PhdThesis{Necula98phd,
  author =       "George C. Necula",
  title =        "Compiling with Proofs",
  school =       "Carnegie Mellon University",
  year =         "1998",
  month =        oct,
  note =         "Available as Technical Report CMU-CS-98-154",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-154.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-154.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-154.pdf",
  keywords =     "lf, pcc",
}

3Q1998

@InProceedings{Crary98icfp,
  author =       "Karl Crary and Stephanie Weirich and Greg Morrisett",
  title =        "Intensional Polymorphism in Type-Erasure Semantics",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1998",
  publisher =    "ACM Press",
  address =      "Baltimore, Maryland",
  month =        sep,
  pages =        "301--312",
  note =         "Extended version published as Cornell University
                 Technical Report TR98-1721",
  urlabstract =  "http://www.cs.cmu.edu/~crary/papers/1998/typepass/typepass-abs.txt",
  urlps =        "http://www.cs.cmu.edu/~crary/papers/1998/typepass/typepass.ps.gz",
  urldvi =       "http://www.cs.cmu.edu/~crary/papers/1998/typepass/typepass.dvi",
  keywords =     "til",
}

@Manual{Pfenning98guide,
  title =        "Twelf User's Guide",
  author =       "Frank Pfenning and Carsten Sch{\"u}rmann",
  edition =      "1.2",
  year =         "1998",
  month =        sep,
  note =         "Available as Technical Report CMU-CS-98-173",
  urlhtml =      "http://www.cs.cmu.edu/~twelf/guide/",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-173.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-173.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-173.pdf",
  keywords =     "lf",
}

@Article{Draves98surveys,
  author =       "Scott Draves",
  title =        "Partial Evaluation for Media Processing",
  journal =      "ACM Computing Surveys",
  year =         "1998",
  volume =       "30",
  number =       "3es",
  month =        sep,
  urlpdf =       "http://www.acm.org/pubs/articles/journals/surveys/1998-30-3es/a21-draves/a21-draves.pdf",
  keywords =     "staged",
}

@Article{Leone98survesy,
  author =       "Mark Leone and Peter Lee",
  title =        "Dynamic Specialization in the {Fabius} System",
  journal =      "ACM Computing Surveys",
  year =         "1998",
  month =        sep,
  volume =       "30",
  number =       "3es",
  urlpdf =       "http://www.acm.org/pubs/citations/journals/surveys/1998-30-3es/a23-leone/a23-leone.pdf",
  keywords =     "staged",
}

@Article{Wickline98surveys,
  author =       "Philip Wickline and Peter Lee and Frank Pfenning and
                 Rowan Davies",
  title =        "Modal Types as Staging Specifications for Run-Time
                 Code Generation",
  journal =      "ACM Computing Surveys",
  volume =       "30",
  number =       "3es",
  month =        sep,
  year =         "1998",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/sope98.ps.gz",
  urlpdf =       "http://www.acm.org/pubs/articles/journals/surveys/1998-30-3es/a8-wickline/a8-wickline.pdf",
  keywords =     "staged",
}

@InProceedings{Oaplan98swat,
  author =       "Haim Kaplan and Chris Okasaki and Robert E. Tarjan",
  title =        "Simple Confluently Persistent Catenable Lists
                 (Extended Abstract)",
  booktitle =    "Proceedings of the Scandinavian Workshop on Algorithm
                 Theory",
  year =         "1998",
  publisher =    "Springer-Verlag LNCS 1432",
  address =      "Stockholm, Sweden",
  month =        jul,
  pages =        "119--130",
  urlps =        "http://www.cs.columbia.edu/~cdo/swat98.ps.gz",
  keywords =     "misc",
}

@InProceedings{Pfenning98cade,
  author =       "Frank Pfenning",
  title =        "Reasoning About Deductions in Linear Logic",
  editor =       "Claude Kirchner and H{\'e}l{\`e}ne Kirchner",
  pages =        "1--2",
  booktitle =    "Proceedings of the International Conference on
                 Automated Deduction",
  year =         "1998",
  publisher =    "Springer-Verlag LNCS 1421",
  address =      "Lindau, Germany",
  month =        jul,
  note =         "Abstract for invited talk",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/cade98inv.ps.gz",
  keywords =     "lf",
}

@InProceedings{Schurmann98cade,
  author =       "Carsten Sch{\"u}rmann and Frank Pfenning",
  title =        "Automated Theorem Proving in a Simple Meta-Logic for
                 {LF}",
  editor =       "Claude Kirchner and H{\'e}l{\`e}ne Kirchner",
  pages =        "286--300",
  booktitle =    "Proceedings of the International Conference on
                 Automated Deduction",
  year =         "1998",
  publisher =    "Springer-Verlag LNCS 1421",
  address =      "Lindau, Germany",
  month =        jul,
  urlps =        "http://www.cs.cmu.edu/~fp/papers/cade98m2.ps.gz",
  keywords =     "lf",
}

@InProceedings{Pfenning98pstt,
  author =       "Frank Pfenning and Carsten Sch{\"u}rmann",
  title =        "Algorithms for Equality and Unification in the
                 Presence of Notational Definitions",
  editor =       "D. Galmiche",
  booktitle =    "Proceedings of the {CADE} Workshop on Proof Search in
                 Type-Theoretic Languages",
  year =         "1998",
  publisher =    "Electronic Notes in Theoretical Computer Science",
  month =        jul,
  keywords =     "lf",
}

@InProceedings{Xi98pldi,
  author =       "Hongwei Xi and Frank Pfenning",
  title =        "Eliminating Array Bound Checking through Dependent
                 Types",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1998",
  publisher =    "ACM Press",
  address =      "Montreal, Canada",
  month =        jun,
  urlps =        "http://www.ececs.uc.edu/~hwxi/academic/papers/pldi98.ps",
  urlpdf =       "http://www.ececs.uc.edu/~hwxi/academic/papers/pldi98.pdf",
  pages =        "249--257",
  keywords =     "languages",
}

@InProceedings{Wickline98pldi,
  author =       "Philip Wickline and Peter Lee and Frank Pfenning",
  title =        "Run-time Code Generation and Modal-{ML}",
  editor =       "Keith D. Cooper",
  pages =        "224--235",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1998",
  publisher =    "ACM Press",
  address =      "Montreal, Canada",
  month =        jun,
  urlps =        "http://www.cs.cmu.edu/~fp/papers/pldi98ccam.ps.gz",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/fp-pldi98ccam.abstract",
  annote =       "Extended version available as~\cite{Wickline98tr100}",
  keywords =     "staged",
}

2Q1998

@InCollection{Necula98lncs,
  author =       "George C. Necula and Peter Lee",
  title =        "Safe, Untrusted Agents using Proof-Carrying Code",
  booktitle =    "Mobile Agents and Security",
  publisher =    "Springer-Verlag LNCS 1419",
  year =         "1998",
  editor =       "Giovanni Vigna",
  month =        aug,
  pages =        "61--91",
  urlps =        "http://www.cs.berkeley.edu/~necula/lncs98.ps.gz",
  keywords =     "pcc",
}

@InProceedings{Necula98lics,
  author =       "George C. Necula and Peter Lee",
  title =        "Efficient Representation and Validation of Logical
                 Proofs",
  booktitle =    "Proceedings of the Symposium on Logic in Computer
                 Science",
  editor =       "Vaughan Pratt",
  pages =        "93--104",
  year =         "1998",
  publisher =    "IEEE Computer Society Press",
  address =      "Indianapolis, Indiana",
  month =        jun,
  annote =       "Extended version available as \cite{Necula97tr172}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/necula-lics98.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/necula-lics98.abstract",
  keywords =     "lf, pcc",
}

@InProceedings{Cheng98pldi,
  author =       "Perry Cheng and Robert Harper and Peter Lee",
  title =        "Generational Stack Collection and Profile-Drive
                 Pretenuring",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1998",
  month =        jun,
  publisher =    "ACM Press",
  address =      "Montreal, Canada",
  pages =        "162--173",
  urlps =        "http://foxnet.cs.cmu.edu/papers/pscheng-pldi98.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/pscheng-pldi98.abstract",
  keywords =     "til",
}

@InProceedings{Necula98pldi,
  author =       "George C. Necula and Peter Lee",
  title =        "The Design and Implementation of a Certifying
                 Compiler",
  editor =       "Keith D. Cooper",
  pages =        "333--344",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1998",
  publisher =    "ACM Press",
  address =      "Montreal, Canada",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/necula-pldi98.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/necula-pldi98.abstract",
  keywords =     "lf, pcc",
}

@TechReport{Birkedal98tr125,
  author =       "Lars Birkedal and Robert Harper",
  title =        "Relational Interpretations of Recursive Types in an
                 Operational Setting",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  number =       "CMU-CS-98-125",
  month =        apr,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-125.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-125.ps",
  annote =       "Superseded by \cite{Birkedal99ic}",
  keywords =     "languages",
}

@InProceedings{Riecke98fool,
  author =       "Jon G. Riecke and Christopher A. Stone",
  title =        "Privacy via Subsumption",
  booktitle =    "Informal Proceedings of the Workshop on Foundations of
                 Object-Oriented Languages",
  year =         "1998",
  address =      "San Diego, California",
  month =        jan,
  urlps =        "http://www.cs.hmc.edu/~stone/papers/fool5.ps",
  keywords =     "languages",
}

1Q1998

@Article{Okasaki98jfp,
  author =       "Chris Okasaki",
  title =        "Even Higher-Order Functions for Parsing or Why Would
                 Anyone Ever Want To Use a Sixth-Order Function?",
  journal =      "Journal of Functional Programming",
  year =         "1998",
  volume =       "8",
  number =       "2",
  month =        mar,
  pages =        "195--199",
  urlps =        "http://www.cs.columbia.edu/~cdo/sixth.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/sixth.dvi",
  keywords =     "misc",
}

@InProceedings{Pfenning98types,
  author =       "Frank Pfenning and Carsten Sch{\"u}rmann",
  title =        "Algorithms for Equality and Unification in the
                 Presence of Notational Definitions",
  editor =       "T. Altenkirch and W. Naraschewski and B. Reus",
  booktitle =    "Proceedings of the Workshop on Types for Proofs and
                 Programs",
  month =        mar,
  year =         "1998",
  pages =        "179--193",
  address =      "Kloster Irsee, Germany",
  publisher =    "Springer-Verlag LNCS 1657",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/types98.ps.gz",
  keywords =     "lf",
}

@InProceedings{Morrisett98tic,
  author =       "Greg Morrisett and Karl Crary and Neal Glew and David
                 Walker",
  title =        "Stack-Based Typed Assembly Language",
  booktitle =    "Proceedings of the Workshop on Types in Compilation",
  editor =       "X. Leroy and A. Ohori",
  year =         "1998",
  month =        mar,
  address =      "Kyoto, Japan",
  pages =        "28--52",
  publisher =    "Springer-Verlag LNCS 1473",
  urlps =        "http://www.cs.cornell.edu/talc/papers/stal-tic.ps.gz",
  urldvi =       "http://www.cs.cornell.edu/talc/papers/stal-tic.dvi",
  urlpdf =       "http://www.cs.cornell.edu/talc/papers/stal-tic.pdf",
  urlabstract =  "http://www.cs.cornell.edu/talc/papers/stal-tic-abstract.html",
  keywords =     "til",
}

@InProceedings{Bernard98tic,
  author =       "Andrew Bernard and Robert Harper and Peter Lee",
  title =        "How Generic is a Generic Back End? {U}sing {MLRISC} as
                 a Back End for the {TIL} Compiler",
  booktitle =    "Proceedings of the Workshop on Types in Compilation",
  editor =       "X. Leroy and A. Ohori",
  year =         "1998",
  month =        mar,
  address =      "Kyoto, Japan",
  pages =        "53--77",
  publisher =    "Springer-Verlag LNCS 1473",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/til-mlrisc/abstract/index.htm",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/til-mlrisc/tic98.dvi",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/til-mlrisc/tic98.ps",
  keywords =     "til",
}

@Article{Harper98jlc,
  author =       "Robert Harper and Frank Pfenning",
  title =        "A Module System for a Programming Language Based on
                 the {LF} Logical Framework",
  journal =      "Journal of Logic and Computation",
  year =         "1998",
  month =        feb,
  volume =       "8",
  number =       "1",
  pages =        "5--31",
  keywords =     "lf",
}

@InCollection{Morrisett98book,
  author =       "Greg Morrisett and Robert Harper",
  title =        "Semantics of Memory Management for Polymorphic
                 Languages",
  pages =        "175--226",
  booktitle =    "Higher-Order Operational Techniques in Semantics",
  publisher =    "Cambridge University Press",
  series =       "Publications of the Newton Institute",
  year =         "1998",
  month =        jan,
  editor =       "Andrew D. Gordon and Andrew M. Pitts",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/gcpoly/hoots.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/gcpoly/hoots.dvi",
  keywords =     "til",
}

@TechReport{Harper98tr107,
  author =       "Robert Harper and Peter Lee and Frank Pfenning",
  title =        "The {Fox} Project: Advanced Language Technology for
                 Extensible Systems",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  number =       "CMU-CS-98-107",
  month =        jan,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-107.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-107.ps",
  keywords =     "misc",
}

@TechReport{Wickline98tr100,
  author =       "Philip Wickline and Peter Lee and Frank Pfenning",
  title =        "Run-time Code Generation in Modal-{ML}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  number =       "CMU-CS-98-100",
  month =        jan,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-100.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-100.ps",
  keywords =     "staged",
}

4Q1997

@Unpublished{Pfenning97un,
  author =       "Frank Pfenning",
  title =        "Computation and Deduction",
  year =         "1997",
  note =         "Early draft of book to be published by Cambridge
                 University Press",
  urlps =        "http://www.cs.cmu.edu/~twelf/notes/cd.ps",
  month =        apr,
  keywords =     "lf",
}

@Unpublished{Stone97un,
  author =       "Chris Stone",
  title =        "Elaboration and Phase-Splitting in the {TIL/ML}
                 Compiler",
  note =         "IC Research Symposium abstract",
  year =         "1997",
  urlps =        "http://www.cs.hmc.edu/~stone/papers/ic97.ps",
  keywords =     "til",
}

@Book{Milner97book,
  author =       "Robin Milner and Mads Tofte and Robert Harper and
                 David MacQueen",
  title =        "The Definition of {S}tandard {ML} (Revised)",
  publisher =    "MIT Press",
  year =         "1997",
  keywords =     "languages",
}

@InProceedings{Morrisett97hoots,
  author =       "Greg Morrisett and Robert Harper",
  title =        "Typed Closure Conversion for Recursively-Defined
                 Functions (Extended Abstract)",
  booktitle =    "Proceedings of the Workshop on Higher-Order
                 Operational Techniques in Semantics",
  editor =       "Andrew Gordon and Andrew Pitts and Carolyn Talcott",
  volume =       "10",
  series =       "Electronic Notes in Theoretical Computer Science",
  address =      "Stanford, California",
  month =        dec,
  year =         "1997",
  publisher =    "Elsevier Science Publishers",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/recclos/abstract/index.htm",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/recclos/hoots97.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/recclos/hoots97.dvi",
  keywords =     "til",
}

@TechReport{Leone97tr497,
  author =       "Mark Leone and Peter Lee",
  title =        "Multi-Stage Specialization with Relative Binding
                 Times",
  institution =  "Computer Science Department, Indiana University",
  year =         "1997",
  number =       "497",
  month =        nov,
  urlps =        "http://www.cs.indiana.edu/~mleone/papers/rbt.ps.gz",
  urlabstract =  "http://www.cs.indiana.edu/~mleone/papers/rbt.html",
  keywords =     "staged",
}

@Article{Okasaki97jfp,
  author =       "Chris Okasaki",
  title =        "Three Algorithms on Braun Trees",
  journal =      "Journal of Functional Programming",
  year =         "1997",
  volume =       "7",
  number =       "6",
  month =        nov,
  pages =        "661--666",
  urlps =        "http://www.cs.columbia.edu/~cdo/jfp97.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/jfp97.dvi",
  keywords =     "misc",
}

@TechReport{Necula97tr172,
  author =       "George C. Necula and Peter Lee",
  title =        "Efficient Representation and Validation of Logical
                 Proofs",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  number =       "CMU-CS-97-172",
  month =        oct,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-172.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-172.ps",
  keywords =     "lf, pcc",
}

3Q1997

@InProceedings{Birkedal97tacs,
  author =       "Lars Birkedal and Robert Harper",
  title =        "Relational Interpretations of Recursive Types in an
                 Operational Setting (Summary)",
  booktitle =    "Proceedings of the International Symposium on
                 Theoretical Aspects of Computer Software",
  editor =       "M. Abadi and T. Ito",
  year =         "1997",
  address =      "Sendai, Japan",
  month =        sep,
  publisher =    "Springer-Verlag LNCS 1281",
  pages =        "458--490",
  annote =       "Superseded by \cite{Birkedal99ic}",
  urlps =        "http://www.cs.cmu.edu/afs/cs/user/birkedal/pub/tacs97.ps.gz",
  keywords =     "languages",
}

@TechReport{Cervesato97tr160,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "Linear Higher-Order Pre-Unification",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  number =       "CMU-CS-97-160",
  month =        jul,
  annote =       "Extended version of~\cite{Cervesato97lics}",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-160.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-160.ps",
  keywords =     "lf",
}

@PhdThesis{Draves97phd,
  author =       "Scott Draves",
  title =        "Automatic Program Specialization for Interactive
                 Media",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  month =        jul,
  note =         "Available as Technical Report CMU-CS-97-159",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-159.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-159.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-159.pdf",
  keywords =     "staged",
}

2Q1997

@InProceedings{Bruce97ecoop,
  author =       "Kim B. Bruce and Leaf Petersen and Adrian Fiech",
  title =        "Subtyping Is not a Good ``Match'' for Object-Oriented
                 Languages",
  booktitle =    "Proceedings of the European Conference for
                 Object-Oriented Programming",
  editor =       "M. Aksit and S. Matsuoka",
  year =         "1997",
  publisher =    "Springer-Verlag LNCS 1241",
  address =      "Jyv{\"a}skyl{\"a}, Finnland",
  month =        jun,
  pages =        "104--127",
  urlabstract =  "http://link.springer.de/link/service/series/0558/bibs/1241/12410104.htm",
  urldvi =       "ftp://ftp.cs.williams.edu/pub/kim/LOOM.dvi.gz",
  urlps =        "ftp://ftp.cs.williams.edu/pub/kim/LOOM.ps.gz",
  keywords =     "languages",
}

@InProceedings{Okasaki97icfp,
  author =       "Chris Okasaki",
  title =        "Catenable Double-Ended Queues",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1997",
  publisher =    "ACM Press",
  address =      "Amsterdam, the Netherlands",
  month =        jun,
  pages =        "66--74",
  urlps =        "http://www.cs.columbia.edu/~cdo/icfp97.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/icfp97.dvi",
  keywords =     "misc",
}

@InProceedings{Draves97icfp,
  author =       "Scott Draves",
  title =        "Implementing Bit-Addressing with Specialization",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1997",
  publisher =    "ACM Press",
  address =      "Amsterdam, the Netherlands",
  month =        jun,
  pages =        "239--250",
  urlps =        "http://foxnet.cs.cmu.edu/papers/spot-bit-addr.ps",
  urlhtml =      "http://www.cs.cmu.edu/~spot/bit-addr/bit-addr.html",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/spot-bit-addr.abstract",
  keywords =     "staged",
}

@InProceedings{Cervesato97lics,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "Linear Higher-Order Pre-Unification",
  editor =       "Glynn Winskel",
  booktitle =    "Proceedings of the Symposium on Logic in Computer
                 Science",
  pages =        "422--433",
  year =         "1997",
  publisher =    "IEEE Computer Society Press",
  address =      "Warsaw, Poland",
  month =        jun,
  annote =       "Revised version of~\cite{Cervesato96pstt}",
  urldvi =       "http://www.cs.cmu.edu/~fp/papers/lics97.dvi.gz",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/lics97.ps.gz",
  keywords =     "lf",
}

@TechReport{Harper97tr147,
  author =       "Robert Harper and Christopher Stone",
  title =        "An Interpretation of {Standard ML} in Type Theory",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  month =        jun,
  number =       "CMU-CS-97-147",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-147.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-147.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/ismltt/ismltt.dvi",
  keywords =     "til, languages",
}

@PhdThesis{Lillibridge97phd,
  author =       "Mark Lillibridge",
  title =        "Translucent Sums: {A} Foundation for Higher-Order
                 Module Systems",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  month =        may,
  note =         "Available as Technical Report CMU-CS-97-122",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-122.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-122.ps",
  urlpdf =       "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-122.pdf",
  urldvi =       "http://www.research.compaq.com/SRC/personal/mdl/Papers/Thesis/thesis.dvi",
  keywords =     "til",
}

@TechReport{Cervesato97tr125,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "A Linear Spine Calculus",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  number =       "CMU-CS-97-125",
  month =        apr,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-125.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-125.ps",
  keywords =     "lf",
}

@PhdThesis{Greiner97phd,
  author =       "John Greiner",
  title =        "Semantics-based Parallel Cost Models and their Use in
                 Provably Efficient Implementations",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  month =        apr,
  note =         "Available as Technical Report CMU-CS-97-113",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jdg-thesis.ps",
  keywords =     "misc",
}

1Q1997

@InProceedings{Necula97popl,
  author =       "George C. Necula",
  title =        "Proof-Carrying Code",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1997",
  publisher =    "ACM Press",
  address =      "Paris, France",
  month =        jan,
  editor =       "Neil D. Jones",
  pages =        "106--119",
  urlps =        "http://foxnet.cs.cmu.edu/papers/necula-popl97.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/necula-popl97.abstract",
  keywords =     "lf, pcc",
}

@InProceedings{Biagioni97cw,
  author =       "Edoardo Biagioni and Ken Cline and Peter Lee and Chris
                 Okasaki and Chris Stone",
  title =        "Safe-for-Space Threads in {Standard ML}",
  editor =       "Olivier Danvy and Carolyn Talcott",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} Workshop on
                 Continuations",
  address =      "Paris, France",
  year =         "1997",
  month =        jan,
  note =	 "Available in special issue of {\em Higher-Order
		  and Symbolic Computation}, 11(2):209--225, December 1998",
  urlps =        "http://foxnet.cs.cmu.edu/papers/cokasaki-threads.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/cokasaki-threads.abstract",
  keywords =     "foxnet",
}

4Q1996

@PhdThesis{Tarditi96phd,
  author =       "David Tarditi",
  title =        "Design and Implementation of Code Optimiziations for a
                 Type-Directed Compiler for {Standard} {ML}",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        dec,
  note =         "Available as Technical Report CMU-CS-97-108",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-108.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-108.ps",
  keywords =     "til",
}

@Article{Brodal96jfp,
  author =       "Gerth St{\o}lting Brodal and Chris Okasaki",
  title =        "Optimal Purely Functional Priority Queues",
  journal =      "Journal of Funtional Programming",
  year =         "1996",
  volume =       "6",
  number =       "6",
  month =        nov,
  pages =        "839--857",
  urlps =        "http://www.cs.columbia.edu/~cdo/priority.ps",
  urldiv =       "http://www.cs.columbia.edu/~cdo/priority.dvi",
  keywords =     "misc",
}

@InProceedings{Necula96osdi,
  author =       "George C. Necula and Peter Lee",
  title =        "Safe Kernel Extensions Without Run-Time Checking",
  booktitle =    "Proceedings of the Symposium on Operating System
                 Design and Implementation",
  year =         "1996",
  address =      "Seattle, Washington",
  month =        oct,
  pages =        "229--243",
  urlps =        "http://foxnet.cs.cmu.edu/papers/necula-osdi96.ps",
  urlhtml =      "http://www.cs.cmu.edu/~petel/papers/pcc/osdi/",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/necula-osdi96.abstract",
  keywords =     "lf, pcc",
}

3Q1996

@PhdThesis{Okasaki96phd,
  author =       "Chris Okasaki",
  title =        "Purely Functional Data Structures",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        sep,
  note =         "Available as Technical Report CMU-CS-96-177",
  urlps =        "http://foxnet.cs.cmu.edu/papers/cokasaki-thesis.ps",
  keywords =     "misc",
}

@TechReport{Morrisett96tr176,
  author =       "Greg Morrisett and Robert Harper",
  title =        "Semantics of Memory Management for Polymorphic
                 Languages",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  number =       "CMU-CS-96-176",
  month =        sep,
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-gcpoly.abstract",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-176.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/gcpoly/tr.dvi",
  keywords =     "til",
}

@TechReport{Necula96tr165,
  author =       "George C. Necula and Peter Lee",
  title =        "Proof-Carrying Code",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  number =       "CMU-CS-96-165",
  month =        sep,
  urlps =        "http://foxnet.cs.cmu.edu/papers/necula-ppctr.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/necula-ppctr.abstract",
  keywords =     "lf, pcc",
}

@TechReport{Harper96tr136R,
  author =       "Robert Harper and Chris Stone",
  title =        "A Type-Theoretic Account of {Standard} {ML} 1996
                 (Version 2)",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  number =       "CMU-CS-96-136R",
  month =        sep,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-136R.ps",
  keywords =     "til, languages",
}

@InProceedings{Okasaki96ssafp,
  author =       "Chris Okasaki",
  title =        "Functional Data Structures",
  booktitle =    "Proceedings of the International Summer School on
                 Advanced Functional Programming Techniques",
  year =         "1996",
  publisher =    "Springer-Verlag LNCS 1129",
  month =        aug,
  pages =        "131--158",
  urlps =        "http://www.cs.columbia.edu/~cdo/ssafp96.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/ssafp96.dvi",
  keywords =     "misc",
}

@TechReport{Despeyroux96tr172,
  author =       "Jo{\"e}lle Despeyroux and Frank Pfenning and Carsten
                 Sch{\"u}rmann",
  title =        "Primitive Recursion for Higher-Order Abstract Syntax",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  number =       "CMU-CS-96-172",
  month =        aug,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-172.ps.gz",
  keywords =     "languages",
}

@PhdThesis{Colby96phd,
  author =       "Christopher Colby",
  title =        "Semantics-based Program Analysis via Symbolic
                 Composition of Transfer Relations",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        aug,
  note =         "Available as Technical Report CMU-CS-96-162",
  urlps =        "http://foxnet.cs.cmu.edu/papers/acid-thesis.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/acid-thesis.abstract",
  keywords =     "misc",
}

@InProceedings{Cervesato96pstt,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "Linear Higher-Order Pre-Unification",
  editor =       "D. Galmiche",
  booktitle =    "Informal Proceedings of the Workshop on Proof Search
                 in Type-Theoretic Language",
  year =         "1996",
  address =      "New Brunswick, New Jersey",
  month =        jul,
  pages =        "41--50",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/pstt96.ps.gz",
  keywords =     "lf",
}

@InProceedings{Cervesato96lics,
  author =       "Iliano Cervesato and Frank Pfenning",
  title =        "A Linear Logical Framework",
  editor =       "E. Clarke",
  booktitle =    "Proceedings of the Symposium on Logic in Computer
                 Science",
  year =         "1996",
  publisher =    "IEEE Computer Society Press",
  address =      "New Brunswick, New Jersey",
  month =        jul,
  pages =        "264--275",
  note =         "This work also appeared as Preprint 1834 of the
                 Department of Mathematics of Technical University of
                 Darmstadt, Germany",
  urldvi =       "http://www.cs.cmu.edu/~fp/papers/lics96.dvi.gz",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/lics96.ps.gz",
  keywords =     "lf",
}

@InProceedings{Davies96lics,
  author =       "Rowan Davies",
  title =        "A Temporal Logic Approach to Binding-Time Analysis",
  editor =       "E. Clarke",
  booktitle =    "Proceedings of the Symposium on Logic in Computer
                 Science",
  year =         "1996",
  publisher =    "IEEE Computer Society Press",
  address =      "New Brunswick, New Jersey",
  month =        jul,
  pages =        "184--195",
  urlps =        "http://www.cs.cmu.edu/~rowan/papers/circle.ps.gz",
  keywords =     "staged",
}

2Q1996

@InProceedings{Okasaki96icfp,
  author =       "Chris Okasaki",
  title =        "The Role of Lazy Evaluation in Amortized Data
                 Structures",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1996",
  publisher =    "ACM Press",
  address =      "Philadelphia, Pennsylvania",
  month =        may,
  pages =        "62--72",
  urlps =        "http://www.cs.columbia.edu/~cdo/icfp96.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/icfp96.dvi",
  keywords =     "misc",
}

@TechReport{Stone96tr136,
  author =       "Chris Stone and Robert Harper",
  title =        "A Type-Theoretic Account of {Standard} {ML} 1996
                 (Version 1)",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  number =       "CMU-CS-96-136",
  month =        may,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-136.ps",
  keywords =     "til, languages",
}

@PhdThesis{Filinski96phd,
  author =       "Andrzej Filinski",
  title =        "Controlling Effects",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        may,
  note =         "Available as Technical Report CMU-CS-96-119",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-119.ps",
  keywords =     "misc",
}

@InProceedings{Tarditi96pldi,
  author =       "David Tarditi and Greg Morrisett and Perry Cheng and
                 Chris Stone and Robert Harper and Peter Lee",
  title =        "{TIL}: {A} Type-Directed Optimizing Compiler for
                 {ML}",
  pages =        "181--192",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1996",
  month =        may,
  address =      "Philadelphia, Pennsylvania",
  publisher =    "ACM Press",
  urlps =        "http://foxnet.cs.cmu.edu/papers/til-pldi96.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/til/pldi96.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/til-compiler.abstract",
  annote =       "Extended version available as~\cite{Tarditi96tr108}",
  keywords =     "til",
}

@InProceedings{Lee96pldi,
  author =       "Peter Lee and Mark Leone",
  title =        "Optimizing {ML} with Run-Time Code Generation",
  pages =        "137--148",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1996",
  address =      "Philadelphia, Pennsylvania",
  publisher =    "ACM Press",
  month =        may,
  urlps =        "http://foxnet.cs.cmu.edu/papers/mleone-pldi96.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/mleone-mlrtcg.abstract",
  annote =       "Extended version available as~\cite{Leone95tr205}",
  keywords =     "staged",
}

@Article{Harper96jfp,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "Operational Interpretations of an Extension of
                 {$F_\omega$} with Control Operators",
  journal =      "Journal of Functional Programming",
  year =         "1996",
  volume =       "6",
  number =       "3",
  month =        may,
  pages =        "393--417",
  annote =       "Revised and expanded version of~\cite{Harper93popl}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-jfp.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/cps-fomega/jfp95.dvi",
  keywords =     "languages, til",
}

@InProceedings{Pfenning96caap,
  author =       "Frank Pfenning",
  title =        "The Practice of Logical Frameworks",
  booktitle =    "Proceedings of the Colloquium on Trees in Algebra and
                 Programming",
  editor =       "H{\'e}l{\`e}ne Kirchner",
  year =         "1996",
  publisher =    "Springer-Verlag LNCS 1059",
  address =      "Link{\"o}ping, Sweden",
  month =        apr,
  pages =        "119--134",
  note =         "Invited talk",
  urldvi =       "http://www.cs.cmu.edu/~fp/papers/caap96.dvi.gz",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/caap96.ps.gz",
  keywords =     "lf",
}

@InProceedings{Rohwedder96esop,
  author =       "Ekkehard Rohwedder and Frank Pfenning",
  title =        "Mode and Termination Checking for Higher-Order Logic
                 Programs",
  editor =       "Hanne Riis Nielson",
  booktitle =    "Proceedings of the European Symposium on Programming",
  year =         "1996",
  publisher =    "Springer-Verlag LNCS 1058",
  address =      "Link{\"o}ping, Sweden",
  month =        apr,
  pages =        "296--310",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/esop96.ps.gz",
  keywords =     "lf",
}

1Q1996

@InProceedings{Cervesato96elp,
  author =       "Iliano Cervesato and Joshua S. Hodas and Frank
                 Pfenning",
  title =        "Efficient Resource Management for Linear Logic Proof
                 Search",
  editor =       "R. Dyckhoff and H. Herre and P. Schroeder-Heister",
  booktitle =    "Proceedings of the International Workshop on
                 Extensions of Logic Programming",
  year =         "1996",
  pages =        "67--81",
  publisher =    "Springer-Verlag LNAI 1050",
  address =      "Leipzig, Germany",
  month =        mar,
  urlps =        "http://www.cs.stanford.edu/~iliano/papers/elp96.ps.gz",
  keywords =     "lf",
}

@TechReport{Tarditi96tr108,
  author =       "David Tarditi and Greg Morrisett and Perry Cheng and
                 Chris Stone and Robert Harper and Peter Lee",
  title =        "{TIL}: {A} Type-Directed Optimizing Compiler for
                 {ML}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  number =       "CMU-CS-96-108",
  month =        feb,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-108.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/til/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/til-compiler.abstract",
  annote =       "Extended version of~\cite{Tarditi96pldi}",
  keywords =     "til",
}

@InProceedings{Leone96wcsss,
  author =       "Mark Leone and Peter Lee",
  title =        "A Declarative Approach to Run-Time Code Generation",
  booktitle =    "Informal Proceedings of the Workshop on Compiler
                 Support for Systems Software",
  address =      "Tucson, Arizona",
  year =         "1996",
  month =        feb,
  urlabstract =  "http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/papers/declarative-rtcg.abstract",
  urlps =        "http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/papers/declarative-rtcg.ps",
  keywords =     "staged",
}

@InProceedings{Morrisett96wcsss,
  author =       "Greg Morrisett and David Tarditi and Perry Cheng and
                 Chris Stone and Robert Harper and Peter Lee",
  title =        "The {TIL/ML} Compiler: Performance and Safety Through
                 Types",
  booktitle =    "Informal Proceedings of the Workshop on Compiler
                 Support for Systems Software",
  address =      "Tucson, Arizona",
  year =         "1996",
  month =        feb,
  urlps =        "http://foxnet.cs.cmu.edu/papers/til-wcsss96.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/til/wcsss96.dvi",
  keywords =     "til",
}

@InProceedings{Draves96pe,
  author =       "Scott Draves",
  title =        "Compiler Generation for Interactive Graphics using
                 Intermediate Code",
  booktitle =    "Proceedings of the International Seminar on Partial
                 Evaluation",
  editor =       "O. Danvy and R. Gl{\"u}ck and P. Thiemann",
  year =         "1996",
  publisher =    "Springer-Verlag LNCS 1110",
  address =      "Dagstuhl Castle, Germany",
  month =        feb,
  urlps =        "http://www.cs.cmu.edu/~spot/nitrous.ps",
  urlhtml =      "http://www.cs.cmu.edu/~spot/dag/dag.html",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/spot-dag.abstract",
  keywords =     "staged",
}

@Article{Harper96ipl,
  author =       "Robert Harper",
  title =        "A Note On ``{A} Simplified Account of Polymorphic
                 References''",
  journal =      "Information Processing Letters",
  year =         "1996",
  volume =       "57",
  number =       "1",
  month =        jan,
  pages =        "15--16",
  annote =       "Clarification of~\cite{Harper94ipl}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-ipl95.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/refs/ipl-followup.dvi",
  keywords =     "languages",
}

@InProceedings{Colby96popl,
  author =       "Christopher Colby and Peter Lee",
  title =        "Trace-Based Program Analysis",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1996",
  publisher =    "ACM Press",
  address =      "St. Petersburg Beach, Florida",
  month =        jan,
  pages =        "195--207",
  urlps =        "http://www.math.luc.edu/~colby/research/papers/popl96.ps",
  keywords =     "misc",
}

@InProceedings{Davies96popl,
  author =       "Rowan Davies and Frank Pfenning",
  title =        "A Modal Analysis of Staged Computation",
  editor =       "Guy {Steele, Jr.}",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1996",
  publisher =    "ACM Press",
  address =      "St. Petersburg Beach, Florida",
  month =        jan,
  pages =        "258--270",
  annote =       "Extended version available as~\cite{Davies95tr145}",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/popl96.ps.gz",
  keywords =     "staged",
}

@InProceedings{Minamide96popl,
  author =       "Yasuhiko Minamide and Greg Morrisett and Robert
                 Harper",
  title =        "Typed Closure Conversion",
  editor =       "Guy {Steele, Jr.}",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1996",
  publisher =    "ACM Press",
  address =      "St. Petersburg Beach, Florida",
  month =        jan,
  pages =        "271--283",
  urlps =        "http://foxnet.cs.cmu.edu/papers/minamide-popl96.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/closures/popl96.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/minamide-closure.abstract",
  annote =       "Extended version available as~\cite{Minamide95tr171}",
  keywords =     "til",
}

4Q1995

@PhdThesis{Morrisett95phd,
  author =       "Greg Morrisett",
  title =        "Compiling with Types",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  month =        dec,
  note =         "Available as Technical Report CMU-CS-95-226",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-thesis.ps",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/theses/morrisett.pdf",
  keywords =     "til",
}

@TechReport{Leone95tr205,
  author =       "Mark Leone and Peter Lee",
  title =        "Optimizing {ML} with Run-Time Code Generation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-205",
  month =        dec,
  urlps =        "http://foxnet.cs.cmu.edu/papers/mleone-mlrtcg.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/mleone-mlrtcg.abstract",
  keywords =     "staged",
}

@InProceedings{Okasaki95focs,
  author =       "Chris Okasaki",
  title =        "Amortization, Lazy Evaluation, and Persistence: Lists
                 with Catenation via Lazy Linking",
  booktitle =    "Proceedings of the Symposium on Foundations of
                 Computer Science",
  year =         "1995",
  organization = "IEEE",
  address =      "Milwaukee, Wisconsin",
  month =        oct,
  pages =        "646--654",
  urlps =        "http://www.cs.columbia.edu/~cdo/catenation.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/catenation.dvi",
  keywords =     "misc",
}

@Article{Okasaki95jfp,
  author =       "Chris Okasaki",
  title =        "Simple and Efficient Purely Functional Queues and
                 Deques",
  journal =      "Journal of Functional Programming",
  year =         "1995",
  volume =       "5",
  number =       "4",
  month =        oct,
  pages =        "583--592",
  urlps =        "http://www.cs.columbia.edu/~cdo/jfp95.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/jfp95.dvi",
  keywords =     "misc",
}

3Q1995

@TechReport{Biagioni95,
  author =       "Edoardo S. Biagioni",
  title =        "Sequence Types for Functional Languages",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-180",
  month =        aug,
  urlps =        "http://foxnet.cs.cmu.edu/papers/esb-sequences.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/esb-sequences.abstract",
  keywords =     "foxnet",
}

@Article{Diwan95tocs,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory-System Performance of Programs with Intensive
                 Heap Allocation",
  journal =      "ACM Transactions on Computer Systems",
  year =         "1995",
  volume =       "13",
  number =       "3",
  month =        aug,
  pages =        "244--273",
  annote =       "Also available as~\cite{Diwan93tr227}",
  urlps =        "http://foxnet.cs.cmu.edu/afs/cs/project/fox-1/dtarditi/dist/tocs.ps",
  keywords =     "misc",
}

@TechReport{Minamide95tr171,
  author =       "Yasuhiko Minamide and Greg Morrisett and Robert
                 Harper",
  title =        "Typed Closure Conversion",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-171",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/minamide-closure.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/closures/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/minamide-closure.abstract",
  keywords =     "til",
}

@TechReport{Colby95tr179,
  author =       "Christopher Colby and Peter Lee",
  title =        "Trace-Based Program Analysis",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-179",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/trace.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/trace.abstract",
  keywords =     "misc",
}

@TechReport{Lillibridge95tr178,
  author =       "Mark Lillibridge",
  title =        "Exceptions Are Strictly More Powerful Than Call/{CC}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-178",
  month =        jul,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-178.ps",
  keywords =     "misc",
}

2Q1995

@InProceedings{Okasaki95fpca,
  author =       "Chris Okasaki",
  title =        "Purely Functional Random-Access Lists",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming Languages and Computer
                 Architecture",
  year =         "1995",
  publisher =    "ACM Press",
  address =      "La Jolla, California",
  month =        jun,
  pages =        "86--95",
  urlps =        "http://www.cs.columbia.edu/~cdo/fpca95.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/fpca95.dvi",
  keywords =     "misc",
}

@InProceedings{Morrisett95fpca,
  author =       "Greg Morrisett and Matthias Felleisen and Robert
                 Harper",
  title =        "Abstract Models of Memory Management",
  pages =        "66--77",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming Languages and Computer
                 Architecture",
  year =         "1995",
  publisher =    "ACM Press",
  address =      "La Jolla, California",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/gc-fpca95.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/gc/fpca95.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/gc-tr.abstract",
  annote =       "Extended version available
                 as~\cite{Morrisett95tr110}",
  keywords =     "til",
}

@InProceedings{Davies95tpa,
  author =       "Rowan Davies and Frank Pfenning",
  title =        "A Modal Analysis of Staged Computation",
  editor =       "Hanne Riis Nielson",
  booktitle =    "Informal Proceedings of the Workshop on Types for
                 Program Analysis",
  year =         "1995",
  address =      "Aarhus, Denmark",
  month =        may,
  annote =       "Extended version available as~\cite{Davies95tr145}",
  urlps =        "http://www.cs.cmu.edu/~fp/papers/tpa95.ps.Z",
  keywords =     "staged",
}

@TechReport{Draves95tr148,
  author =       "Scott Draves",
  title =        "Lightweight Languages for Interactive Graphics",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-148",
  month =        may,
  note =         "Thesis proposal",
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-148A.ps",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-148.ps",
  urlhtml =      "http://www.cs.cmu.edu/~spot/nitrous/top.html",
  keywords =     "staged",
}

@TechReport{Davies95tr145,
  author =       "Rowan Davies and Frank Pfenning",
  title =        "A Modal Analysis of Staged Computation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-145",
  month =        may,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-145.ps",
  keywords =     "staged",
}

@TechReport{Tarditi94tr201,
  author =       "David Tarditi and Amer Diwan",
  title =        "Measuring the Cost of Storage Management",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-94-201",
  month =        may,
  urlps =        "http://foxnet.cs.cmu.edu/papers/dtarditi-storage.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/dtarditi-storage.abstract",
  keywords =     "misc",
}

@InProceedings{Biagioni95workshop,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee",
  title =        "Implementing Software Architectures in {S}tandard {ML}
                 (Position Paper)",
  booktitle =    "Informal Proceedings of the {ICSE} Workshop on
                 Research Issues in the Intersection of Software
                 Engineering and Programming Languages",
  year =         "1995",
  address =      "Seattle, Washington",
  month =        apr,
  urlps =        "http://foxnet.cs.cmu.edu/papers/icse17.ps",
  keywords =     "foxnet",
}

1Q1995

@TechReport{Morrisett95tr110,
  author =       "Greg Morrisett and Matthias Felleisen and Robert
                 Harper",
  title =        "Abstract Models of Memory Management",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-110",
  month =        jan,
  urlps =        "http://foxnet.cs.cmu.edu/papers/gc-tr.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/gc/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/gc-tr.abstract",
  keywords =     "til",
}

@InProceedings{Harper95popl,
  author =       "Robert Harper and Greg Morrisett",
  title =        "Compiling Polymorphism Using Intensional Type
                 Analysis",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1995",
  publisher =    "ACM Press",
  address =      "San Francisco, California",
  month =        jan,
  pages =        "130--141",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-popl95.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/intensional/popl95.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-popl95.abstract",
  annote =       "Extended version available as~\cite{Harper94tr185}",
  keywords =     "til",
}

@Article{Tarditi94lsc,
  author =       "David Tarditi and Amer Diwan",
  title =        "Measuring the Cost of Storage Management",
  journal =      "Lisp and Symbolic Computation",
  year =         "1996",
  volume =       "9",
  number =       "4",
  pages =        "323--342",
  month =        dec,
  annote =       "Also available as~\cite{Tarditi94tr201}",
  urlps =        "ftp://ftp.cs.umass.edu/pub/osl/papers/lsc94.ps.Z",
  keywords =     "misc",
}

4Q1994

@TechReport{Heintze94tr227,
  author =       "Nevin Heintze",
  title =        "Control-Flow Analysis and Type Systems",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-227",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1994/CMU-CS-94-227.ps",
  keywords =     "misc",
}

@Unpublished{Tarditi94un,
  author =       "David Tarditi",
  title =        "Using Program Structure to Guide Optimization in the
                 Presence of First-Class Functions",
  note =         "Thesis proposal (draft)",
  year =         "1994",
  month =        nov,
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/Tarditi94un.txt",
  urlps =        "http://foxnet.cs.cmu.edu/papers/Tarditi94un.ps",
  keywords =     "til",
}

3Q1994

@TechReport{Harper94tr185,
  author =       "Robert Harper and Greg Morrisett",
  title =        "Compiling Polymorphism Using Intensional Type
                 Analysis",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-185",
  month =        sep,
  urlps =        "http://foxnet.cs.cmu.edu/papers/intensional.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/intensional/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-popl95.abstract",
  keywords =     "til",
}

@Article{Harper94ipl,
  author =       "Rober Harper",
  title =        "A Simplified Account of Polymorphic References",
  journal =      "Information Processing Letters",
  year =         "1994",
  month =        aug,
  volume =       "51",
  number =       "4",
  pages =        "201--206",
  annote =       "Clarification in~\cite{Harper96ipl}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-ipl94.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/refs/ipl94.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-refs.abstract",
  keywords =     "languages",
}

@InProceedings{Biagioni94sigcomm,
  author =       "Edoardo Biagioni",
  title =        "A Structured {TCP} in {Standard ML}",
  booktitle =    "Proceedings of the {ACM} {SIGCOMM} Conference on
                 Communications Architectures, Protocols and
                 Applications",
  address =      "London, England",
  pages =        "36--45",
  mon =          aug,
  year =         "1994",
  urlps =        "http://foxnet.cs.cmu.edu/papers/sigcomm94.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/sigcomm94.abstract",
  annote =       "Extended version available as~\cite{Biagioni94tr171}",
  keywords =     "foxnet",
}

@TechReport{Biagioni94tr172,
  author =       "Edoardo S. Biagioni",
  title =        "Program Verification for Optimized Byte Copy",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-172",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/copy-proof.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/copy-proof.abstract",
  keywords =     "foxnet",
}

@TechReport{Biagioni94tr171,
  author =       "Edoardo S. Biagioni",
  title =        "A Structured {TCP} in {S}tandard {ML}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-171",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/esb-tcp-structure.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/esb-tcp-structure.abstract",
  keywords =     "foxnet",
}

2Q1994

@InProceedings{Harper94ml,
  author =       "Robert Harper and Peter Lee and Frank Pfenning and
                 Eugene Rollins",
  title =        "Incremental Recompilation for {Standard} {ML} of {New}
                 {Jersey}",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} Workshop on {ML}
                 and its Applications",
  year =         "1994",
  address =      "Orlando, Florida",
  month =        jun,
  pages =        "136--147",
  note =         "Proceedings available as INRIA Research Report 2265",
  urlps =        "ftp://ftp.inria.fr/INRIA/Projects/cristal/MLworkshop94/15-harper.ps.Z",
  keywords =     "languages",
}

@InProceedings{Leone94pepm,
  author =       "Mark Leone and Peter Lee",
  title =        "Lightweight Run-Time Code Generation",
  pages =        "97--106",
  booktitle =    "Proceedings of the Workshop on Partial Evaluation and
                 Semantics-Based Program Manipulation",
  year =         "1994",
  address =      "Orlando, Florida",
  month =        jun,
  note =         "Proceedings published as University of Melbourne
                 Department of Computer Science Technical Report 94/9",
  urlps =        "http://foxnet.cs.cmu.edu/papers/mleone-pepm94.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/mleone-pepm94.abstract",
  keywords =     "staged",
}

@InProceedings{Heintze94lfp,
  author =       "Nevin Heintze",
  title =        "Set-Based Analysis of {ML} Programs (Extended
                 Abstract)",
  booktitle =    "Proceedings of the {ACM} Conference on {LISP} and
                 Functional Programming",
  publisher =    "ACM Press",
  year =         "1994",
  month =        jun,
  address =      "Orlando, Florida",
  pages =        "306--317",
  urlps =        "http://www.cs.cmu.edu/afs/cs/user/nch/ftp/sba-ml.ps.Z",
  keywords =     "misc",
}

@InProceedings{Biagioni94lfp,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee and
                 Brian G. Milnes",
  title =        "Signatures for a Network Stack: {A} Systems
                 Application of {Standard ML}",
  booktitle =    "Proceedings of the {ACM} Conference on {LISP} and
                 Functional Programming",
  publisher =    "ACM Press",
  year =         "1994",
  month =        jun,
  address =      "Orlando, Florida",
  pages =        "55--64",
  urlps =        "http://foxnet.cs.cmu.edu/papers/lfp-signatures.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/lfp-signatures.abstract",
  keywords =     "foxnet",
}

1Q1994

@TechReport{Harper94tr122,
  author =       "Robert Harper and Greg Morrisett",
  title =        "Compiling with Non-Parametric Polymorphism
                 (Preliminary Report)",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-122",
  month =        feb,
  urlps =        "http://foxnet.cs.cmu.edu/papers/comp-w-npp.ps",
  keywords =     "til",
}

@TechReport{Harper94tr116,
  author =       "Robert Harper and Peter Lee and Frank Pfenning and
                 Eugene Rollins",
  title =        "Incremental Recompilation for {S}tandard {ML} of {N}ew
                 {J}ersey",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-116",
  month =        feb,
  urlps =        "http://foxnet.cs.cmu.edu/papers/incremental-recomp.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/incremental-recomp.abstract",
  annote =       "See also~\cite{Harper94ml}",
  keywords =     "languages",
}

@InProceedings{Diwan94popl,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory Subsystem Performance of Programs using Copying
                 Garbage Collection",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1994",
  publisher =    "ACM Press",
  address =      "Portland, Oregon",
  month =        jan,
  pages =        "1--14",
  annote =       "Also available as~\cite{Diwan93tr210}",
  urlps =        "ftp://ftp.cs.umass.edu/pub/osl/papers/popl94.ps.Z",
  keywords =     "misc",
}

@InProceedings{Harper94popl,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "A Type-Theoretic Approach to Higher-Order Modules with
                 Sharing",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1994",
  publisher =    "ACM Press",
  address =      "Portland, Oregon",
  month =        jan,
  pages =        "123--137",
  urlps =        "http://foxnet.cs.cmu.edu/papers/mdl-popl94.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/sharing/popl94.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/mdl-sharing.abstract",
  annote =       "Extended version available as~\cite{Harper93tr197}",
  keywords =     "til, languages",
}

@Article{Okasaki94lasc,
  author =       "Chris Okasaki and Peter Lee and David Tarditi",
  title =        "Call-by-need and Continuation-passing Style",
  journal =      "Lisp and Symbolic Computationj",
  year =         "1994",
  volume =       "7",
  number =       "1",
  month =        jan,
  pages =        "57--82",
  urlps =        "http://foxnet.cs.cmu.edu/papers/petel-lazy-p.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/lazy-cps.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/petel-lazy-p.abstract",
  keywords =     "misc",
}

@TechReport{Harper94tr104,
  author =       "Robert Harper and Peter Lee",
  title =        "Advanced Languages for Systems Software: The {Fox}
                 Project in 1994",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-104",
  month =        jan,
  urlps =        "http://foxnet.cs.cmu.edu/papers/renewal.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/renewal.abstract",
  keywords =     "misc",
}

4Q1993

@InProceedings{OToole93sosp,
  author =       "James O'Toole and Scott Nettles and David Gifford",
  title =        "Concurrent Compacting Garbage Collection of a
                 Persistent Heap",
  booktitle =    "Proceedings of the {ACM} Symposium on Operating
                 Systems Principles",
  year =         "1993",
  address =      "Asheville, North Carolina",
  month =        dec,
  pages =        "161--174",
  annote =       "Also available as~\cite{Nettles93tr137}",
  keywords =     "misc",
}

@TechReport{Diwan93tr227,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory Subsystem Performance of Programs with
                 Intensive Heap Allocation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-227",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-227.ps",
  keywords =     "misc",
}

@TechReport{Leone93tr225,
  author =       "Mark Leone and Peter Lee",
  title =        "Deferred Compilation: The Automation of Run-Time Code
                 Generation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-225",
  month =        dec,
  urlps =        "http://foxnet.cs.cmu.edu/papers/mleone-rtcg.ps",
  urlhtml =      "http://foxnet.cs.cmu.edu/papers/mleone-rtcg.html",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/mleone-rtcg.abstract",
  keywords =     "staged",
}

@TechReport{Heintze93tr221,
  author =       "Nevin Heintze",
  title =        "Set Based Analysis of Arithmetic",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-221",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-221.ps",
  keywords =     "misc",
}

@TechReport{Diwan93tr210,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory Subsystem Performance of Programs Using Copying
                 Garbage Collection",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-210",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-210.ps",
  keywords =     "misc",
}

@Unpublished{Morrisett93un,
  author =       "Greg Morrisett",
  title =        "Thesis Proposal: Data Representations and Polymorphic
                 Languages",
  note =         "Unpublished",
  year =         "1993",
  month =        dec,
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-proposal.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-proposal.abstract",
  keywords =     "til",
}

@Article{Harper93lasc,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "Polymorphic Type Assignment and {CPS} Conversion",
  journal =      "Lisp and Symbolic Computation",
  year =         "1993",
  volume =       "6",
  number =       "3/4",
  month =        nov,
  pages =        "361--380",
  annote =       "Supersedes~\cite{Harper92cw}",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-cw92.abstract",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-lasc93.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/cps-ml/lasc93.dvi",
  keywords =     "til",
}

@TechReport{Harper93tr197,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "A Type-Theoretic Approach to Higher-Order Modules with
                 Sharing",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-197",
  month =        oct,
  urlps =        "http://foxnet.cs.cmu.edu/papers/mdl-sharing.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/sharing/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/mdl-sharing.abstract",
  keywords =     "til, languages",
}

@TechReport{Morrisett93tr171,
  author =       "Greg Morrisett and Maurice Herlihy",
  title =        "Optimistic Parallelization",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-171",
  month =        oct,
  urlps =        "http://foxnet.cs.cmu.edu/papers/CMU-CS-93-171.ps",
  keywords =     "misc",
}

@TechReport{Biagioni93,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee",
  title =        "{Standard ML} Signatures for a Protocol Stack",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-170",
  month =        oct,
  urlps =        "http://foxnet.cs.cmu.edu/papers/esb-signatures.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/esb-signatures.abstract",
  keywords =     "foxnet",
}

@Article{Harper93jfp,
  author =       "Robert Harper and Bruce F. Duba and David MacQueen",
  title =        "Typing First-Class Continuations in {ML}",
  journal =      "Journal of Functional Programming",
  year =         "1993",
  volume =       "3",
  number =       "4",
  month =        oct,
  pages =        "465--484",
  annote =       "See also~\cite{Duba91popl}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-jfp93.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/callcc/jfp.dvi",
  keywords =     "languages",
}

3Q1993

@TechReport{Greiner93tr160R,
  author =       "John Greiner",
  title =        "{Standard ML} Weak Polymorphism Can Be Sound",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-160R",
  month =        sep,
  annote =       "Supersedes~\cite{Greiner93tr160}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jdg-weaktype-tr2.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jdg-weaktype-tr2.abstract",
  keywords =     "misc",
}

@InProceedings{Tarditi93workshop,
  author =       "David Tarditi and Amer Diwan",
  title =        "The Full Cost of a Generational Copying Garbage
                 Collection Implementation",
  booktitle =    "Informal Proceedings of the {OOPSLA} Workshop on
                 Memory Management and Garbage Collection",
  editor =       "Eliot Moss and Paul Wilson and Ben Zorn",
  year =         "1993",
  month =        sep,
  address =      "Washington, USA",
  urlps =        "ftp://ftp.cs.utexas.edu/pub/garbage/GC93/tarditi.ps",
  keywords =     "misc",
}

@TechReport{Heintze93tr193,
  author =       "Nevin Heintze",
  title =        "Set Based Analysis of {ML} Programs (Extended
                 Abstract)",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-193",
  month =        jul,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-193.ps",
  keywords =     "misc",
}

2Q1993

@InProceedings{Nettles93pldi,
  author =       "Scott Nettles and James O'Toole",
  title =        "Real-Time Replication Garbage Collection",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1993",
  publisher =    "ACM Press",
  address =      "Albuquerque, New Mexico",
  month =        jun,
  pages =        "217--226",
  urlps =        "http://www.cis.upenn.edu/~nettles/papers/pldi93.ps",
  keywords =     "misc",
}

@InProceedings{Morrisett93sipl,
  author =       "J. Gregory Morrisett",
  title =        "Refining First-Class Stores",
  editor =       "Paul Hudak",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} Workshop on State
                 in Programming Languages",
  year =         "1993",
  address =      "Copenhagen, Denmark",
  month =        jun,
  pages =        "73--87",
  note =         "Proceedings published as Yale Technical Report
                 YALE/DCS/tr968",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-callcs.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-callcs.abstract",
  keywords =     "misc",
}

@TechReport{Haines93,
  author =       "Nicholas Haines and Edoardo Biagioni and Robert Harper
                 and Brian G. Milnes",
  title =        "Note on Conditional Compilation in {Standard ML}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-172",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/haines-conditional.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/haines-conditional.abstract",
  keywords =     "foxnet",
}

@TechReport{Harper93tr169,
  author =       "Robert Harper",
  title =        "A Simplified Account of Polymorphic References",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-169",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-refs.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/refs/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-refs.abstract",
  keywords =     "languages",
}

@InProceedings{Morrisett93ppopp,
  author =       "J. Gregory Morrisett and Andrew Tolmach",
  title =        "Procs and Locks: {A} Portable Multiprocessing
                 Interface for {S}tandard {ML} of {N}ew {J}ersey",
  booktitle =    "Proceedings of the Symposium on Principles and
                 Practice of Parallel Programming",
  year =         "1993",
  publisher =    "ACM Press",
  address =      "San Diego, California",
  month =        may,
  pages =        "198--207",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-ppopp.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-mp.abstract",
  keywords =     "misc",
}

@TechReport{Greiner93tr160,
  author =       "John Greiner",
  title =        "{Standard ML} Weak Polymorphism Can Be Sound",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-160",
  month =        may,
  annote =       "Superseded by~\cite{Greiner93tr160R}",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-160.ps",
  keywords =     "misc",
}

@Article{Harper93toplas,
  author =       "Robert Harper and John C. Mitchell",
  title =        "On the Type Structure of {S}tandard {ML}",
  journal =      "Transactions on Programming Languages and Systems",
  year =         "1993",
  volume =       "15",
  number =       "2",
  month =        apr,
  pages =        "211--252",
  note =         "Earlier version titled ``The Essense of ML'' presented
                 at the {\em Symposium on Principles of Programming
                 Languages}, San Diego, California, January, 1988",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/xml/abstract/index.htm",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/xml/toplas93.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/xml/toplas93.dvi",
  keywords =     "languages",
}

@TechReport{Nettles93tr137,
  author =       "Scott Nettles and James O'Toole and David Gifford",
  title =        "Concurrent Garbage Collection of Persistent Heaps",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-137",
  month =        apr,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-137.ps",
  keywords =     "misc",
}

@TechReport{Nettles93tr135,
  author =       "Scott Nettles and James O'Toole and David Pierce and
                 Nicholas Haines",
  title =        "Replication-Based Incremental Copying Collection",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-135",
  month =        apr,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-135.ps",
  keywords =     "misc",
}

1Q1993

@InProceedings{Harper93popl,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "Explicit Polymorphism and {CPS} Conversion",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1993",
  publisher =    "ACM Press",
  address =      "Charleston, South Carolina",
  month =        jan,
  pages =        "206--219",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/cps-fomega/abstract/index.htm",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-popl93.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/cps-fomega/popl93.dvi",
  annote =       "Extended version available as~\cite{Harper92tr210}",
  keywords =     "til",
}

@Article{Harper93jacm,
  author =       "Robert Harper and Furio Honsell and Gordon Plotkin",
  title =        "A Framework for Defining Logics",
  journal =      "Journal of the ACM",
  year =         "1993",
  volume =       "40",
  number =       "1",
  month =        jan,
  pages =        "143--184",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/lf/jacm93.ps",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/lf/jacm93.pdf",
  keywords =     "lf",
}

4Q1992

@InProceedings{Heintze92jicslp,
  author =       "Nevin Heintze",
  title =        "Practical Aspects of Set-Based Analysis",
  booktitle =    "Proceedings of the Joint International Conference and
                 Symposium on Logic Programming",
  editor =       "Krzysztof R. Apt",
  year =         "1992",
  publisher =    "MIT Press",
  address =      "Washington, DC",
  month =        nov,
  pages =        "765--779",
  urlps =        "http://www.cs.cmu.edu/afs/cs/user/nch/ftp/implementation.ps.Z",
  keywords =     "misc",
}

@TechReport{Harper92tr210,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "Explicit Polymorphism and {CPS} Conversion",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  number =       "CMU-CS-92-210",
  month =        oct,
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-cpsfomega.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/cps-fomega/tr.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-cpsfomega.abstract",
  keywords =     "til",
}

3Q1992

@PhdThesis{Heintze92phd,
  author =       "Nevin Heintze",
  title =        "Set Based Program Analysis",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  note =         "Available as Technical Report CMU-CS-92-201",
  urlps =        "http://foxnet.cs.cmu.edu/papers/CMU-CS-92-201.ps.gz",
  keywords =     "misc",
}

@InProceedings{Nettles92iwmm,
  author =       "Scott M. Nettles and James W. O'Toole and David Pierce
                 and Nicholas Haines",
  title =        "Replication-Based Incremental Copying Collection",
  booktitle =    "Proceedings of the International Workshop on Memory
                 Management",
  editor =       "J. Cohen and Y. Bekkers",
  year =         "1992",
  publisher =    "Springer-Verlag LNCS 637",
  address =      "St. Malo, France",
  month =        sep,
  pages =        "357--364",
  annote =       "Also available as~\cite{Nettles93tr135}",
  keywords =     "misc",
}

@Article{Tarditi92loplas,
  author =       "David Tarditi and Peter Lee and Anurag Acharya",
  title =        "No Assembly Required: Compiling {ML} to {C}",
  journal =      "{ACM} Letters on Programming Languages and Systems",
  year =         "1992",
  volume =       "1",
  number =       "2",
  month =        jun,
  pages =        "161--177",
  urlps =        "http://foxnet.cs.cmu.edu/papers/petel-sml2c.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/petel-sml2c.abstract",
  keywords =     "misc",
}

@InProceedings{Harper92cw,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "Polymorphic Type Assignment and {CPS} Conversion",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} Workshop on
                 Continuations",
  editor =       "Olivier Danvy and Carolyn Talcott",
  year =         "1992",
  organization = "Department of Computer Science, Stanford University",
  address =      "Stanford, California",
  month =        jun,
  note =         "Published as Technical Report STAN-CS-92-1426",
  urlps =        "http://foxnet.cs.cmu.edu/papers/rwh-cw92.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/cps-ml/cw92.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/rwh-cw92.abstract",
  keywords =     "til",
}

2Q1992

@TechReport{Morrisett92tr155,
  author =       "J. Gregory Morrisett and Andrew Tolmach",
  title =        "A Portable Multiprocessor Interface for {S}tandard
                 {ML} of {N}ew {J}ersey",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  number =       "CMU-CS-92-155",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-mp.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-mp.abstract",
  keywords =     "misc",
}

@PhdThesis{Michaylov92phd,
  author =       "Spiro Michaylov",
  title =        "Design and Implementation of Practical Constraint
                 Logic Programming Systems",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  month =        may,
  note =         "Available as Technical Report CMU-CS-92-168",
  keywords =     "misc",
}

@TechReport{Harper92tr122,
  author =       "Robert Harper and Mark Lillibridge",
  title =        "Polymorphic Type Assignment and {CPS} Conversion",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  number =       "CMU-CS-92-122",
  month =        apr,
  annote =       "Superseded by~\cite{Harper93lasc}",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1992/CMU-CS-92-122.ps",
  keywords =     "til",
}

@Article{Koopman92toplas,
  author =       "Philip J. {Koopman, Jr.} and Peter Lee and Daniel P.
                 Siewiorek",
  title =        "Cache Behavior of Combinator Graph Reduction",
  journal =      "Transactions on Programming Languages and Systems",
  year =         "1992",
  volume =       "14",
  number =       "2",
  month =        apr,
  pages =        "265--297",
  urlpdf =       "http://www.cs.cmu.edu/~koopman/tigre/toplas_92.pdf",
  keywords =     "misc",
}

1Q1992

@TechReport{Colby92tr123,
  author =       "Christopher Colby and Peter Lee",
  title =        "A Modular Implementation of Partial Evaluation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  number =       "CMU-CS-92-123",
  month =        mar,
  urlps =        "http://foxnet.cs.cmu.edu/papers/petel-facet-tr.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/petel-facet-tr.abstract",
  keywords =     "staged",
}

4Q1991

3Q1991

@TechReport{Cooper91tr178,
  author =       "Eric Cooper and Robert Harper and Peter Lee",
  title =        "The {Fox} Project: Advanced Development of Systems
                 Software",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1991",
  number =       "CMU-CS-91-178",
  month =        aug,
  urlps =        "http://foxnet.cs.cmu.edu/papers/cooper-fox.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/cooper-fox.abstract",
  keywords =     "misc",
}