@string{acmpress="ACM Press"}
@string{cmu="School of Computer Science, Carnegie Mellon University"}
@string{cmu-address="5000 Forbes Avenue, Pittsburgh, PA 15213, USA"}
@string{cucs="Department of Computer Science, Cornell University"}
@string{cucs-address="4130 Upson Hall, Ithaca, NY 14853-7501, USA"}
@string{entcs = "Electronic Notes in Theoretical Computer Science"}
@string{hoots = "International Workshop on Higher Order Operational Techniques
                 in Semantics"}
@string{icfp="{ACM SIGPLAN} International Conference on
              Functional Programming"}
@string{lncs="Lecture Notes in Computer Science"}
@string{NY = "New York, NY, USA"}
@string{oopsla="Object-Oriented Programming, Systems, Languages,
                and Applications"}
@string{popl="{ACM SIGPLAN-SIGACT} Symposium on Principles of Programming
              Languages"}
@string{starlab="STAR Lab, InterTrust Technologies Corporation"}
@string{starlab-address="4750 Patrick Henry Drive, Santa Clara,
                         CA 95054-1851, USA"}
@string{sv="Springer-Verlag"}
@string{tic="Workshop on Types in Compilation"}
@string{toplas = "ACM Transactions on Programming Languages and Systems"}
@string{wcsss="Workshop on Compiler Support for System Software"}

@PhdThesis{glew-thesis,
  author = 	 {Neal Glew},
  title = 	 {Low-Level Type Systems for Modularity and Object-Oriented
                  Constructs},
  school = 	 {Cornell University},
  year = 	 2000,
  address =	 cucs-address,
  month =	 jan
}

@inproceedings{mtal-popl,
  author =      "Neal Glew and Greg Morrisett",
  title =       "Type Safe Linking and Modular Assembly Language",
  booktitle =   "26th " # popl,
  year =        1999,
  month =       jan,
  address =     "San Antonio, TX, USA",
  pages =       "250--261",
  publisher =   acmpress
}

@InProceedings{occ-hoots,
  author = 	 {Neal Glew},
  title = 	 {Object Closure Conversion},
  booktitle = 	 "3rd " # hoots,
  year =	 1999,
  address =	 {Paris, France},
  month =	 sep,
  series =       entcs,
  publisher =    "Elsevier",
  volume =       26,
  editor =       "Andrew Gordon and Andrew Pitts",
  note =         "{\tt http://www.elsevier.nl/\linebreak[0]locate/\linebreak[0]entcs/\linebreak[0]volume26.html}"
}

@TechReport{occ-tr,
  author = 	 {Neal Glew},
  title = 	 {Object Closure Conversion},
  institution =  cucs,
  year = 	 1999,
  number =	 {TR99-1763},
  address =	 cucs-address,
  month =	 aug
}

@InProceedings{oce-oopsla,
  author = 	 {Neal Glew},
  title = 	 {An Efficient Class and Object Encoding},
  booktitle = 	 oopsla,
  pages =	 {311--324},
  year =	 2000,
  address =	 {Minneapolis, MN, USA},
  month =	 oct,
  publisher =	 acmpress
}

@TechReport{oce-tr,
  author = 	 {Neal Glew},
  title = 	 {An Efficient Class and Object Encoding},
  institution =  starlab,
  year = 	 2000,
  number =	 {STAR-TR-00-02},
  address =	 starlab-address,
  month =	 jul
}

@inproceedings{stal-tic,
  author =      "Greg Morrisett and Karl Crary and Neal Glew and David Walker",
  title =       "Stack-Based Typed Assembly Language",
  booktitle =   tic,
  series =      lncs,
  volume =      1473,
  publisher =   sv,
  address =     "Kyoto, Japan",
  editors =     "Xavier Leroy and Atsushi Ohori",
  month =       mar,
  year =        1998,
  pages =       "28--52"
}

@techreport{stal-tr,
  author =      "Greg Morrisett and Karl Crary and Neal Glew and David Walker",
  title =       "Stack-Based Typed Assembly Language (Extended Version)",
  institution = cmu,
  year =        1998,
  month =       dec,
  number =      "CMU-CS-98-178"
}

@InProceedings{tagging-icfp,
  author = 	 {Neal Glew},
  title = 	 {Type Dispatch for Named Hierarchical Types},
  booktitle = 	 "1999 " # icfp,
  pages =	 {172--182},
  year =	 1999,
  address =	 {Paris, France},
  month =	 sep,
  publisher =	 acmpress
}

@techreport{tagging-tr,
  author =      "Neal Glew",
  title =       "Type Dispatch for Named Hierarchical Types",
  institution = cucs,
  address =     cucs-address,
  number =      "TR99-1738",
  year =        1999,
  month =       apr
}

@inproceedings{tal-popl,
  author =      "Greg Morrisett and David Walker and Karl Crary and Neal Glew",
  title =       "From {S}ystem {F} to Typed Assembly Language",
  booktitle =   "25th " # popl,
  month =       jan,
  year =        1998,
  address =     "San Diego, CA, USA",
  pages =       "85--97",
  publisher =   acmpress
}

@article{tal-toplas,
  author =      "Greg Morrisett and David Walker and Karl Crary and Neal Glew",
  title =       "From {System} {F} to Typed Assembly Language",
  journal =     toplas,
  year =        1999,
  month =       may,
  publisher =   acmpress,
  address =     NY,
  volume =      21,
  number =      3,
  pages =       "528--569"
}

@techreport{tal-tr,
  author =      "Greg Morrisett and David Walker and Karl Crary and Neal Glew",
  title =       "From {System} {F} to Typed Assembly Language
                 (Extended Version)",
  institution = cucs,
  address =     cucs-address,
  number =      "TR97-1651",
  month =       nov,
  year =        1997
}

@inproceedings{talx86-wcsss,
  author =      "Greg Morrisett and Karl Crary and Neal Glew and Dan Grossman
                 and Richard Samuels and Frederick Smith and Daivd Walker and
                 Stephanie Weirich and Steve Zdancewic",
  title =       "{TALx86}: A Realistic Type Assembly Language",
  booktitle =   wcsss,
  pages =       "25--35",
  year =        1999,
  month =       may,
  address =     "Atlanta, GA, USA",
  note =        "INRIA Research Report 0228"
}