Journal Articles

Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.

Conference Papers

Neal Glew. Object Closure Conversion. In 3rd International Workshop on Higher Order Operational Techniques in Semantics, Paris France, September 1999 (dvi, pdf, ps.gz).
Neal Glew. Type Dispatch for Named Hierarchical Types. In 1999 International Conference on Functional Programming, pages 172-182, Paris France, September 1999 (dvi, pdf, ps.gz).
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A Realistic Typed Assembly Language. In ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA, USA, INRIA Research Report 0228, pages 25-25, May 1999 (dvi, pdf, ps.gz).
Neal Glew and Greg Morrisett. Type-Safe Linking and Modular Assembly Language. In 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 250-261, San Antonio, TX, USA, January 1999 (dvi, pdf, ps.gz).
Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-Based Typed Assembly Language. In 2nd International Workshop on Types in Compilation, Kyoto, Japan, March 1998. Lecture Notes in Computer Science, vol. 1473, pages 28-52. Springer-Verlag, Berlin Germany (dvi, pdf, ps.gz).
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85-97, San Diego, CA, USA, January 1998 (dvi, pdf, ps.gz).

Neal Glew. Object Closure Conversion. Technical Report TR99-1763, Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, August 1999 (dvi, pdf, ps.gz).
Neal Glew. Type Dispatch for Named Hierarchical Types. Technical Report TR99-1738, Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, April 1999 (dvi, pdf, ps.gz).
Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-Based Typed Assembly Language (Extended version). Technical Report CMU-CS-98-178, School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA, December 1998 (dvi, pdf, ps.gz).
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System-F to Typed Assembly Language (Extended Version). Technical Report TR97-1651, Department of Computer Science, Cornell University, 4130 Upson Hall, Ithaca, NY 14853-7501, USA, November 1997 (dvi, pdf, ps.gz).