Extracted from fox-bib.bib with
M-x bibtex-extract-matching-entries fox-bib.bib keywords til
Fri May  4 18:47:18 UTC 2001

@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{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",
}

@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",
}

@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",
}

@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{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",
}

@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",
}

@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{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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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{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{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",
}

@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",
}

@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{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",
}

@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",
}

@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",
}

@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{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",
}

@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",
}

@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{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",
}

@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",
}

@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",
}

@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",
}

@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{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{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",
}

@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{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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}

@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",
}