Glew, Neal - Intel Coporation

• Type-Safe Linking and Modular Assembly Language Neal Glew and Greg Morrisett
• Type Dispatch for Named Hierarchical Types # Department of Computer Science
• From System F to Typed Assembly Language # (Extended Version)
• Type Dispatch for Named Hierarchical Types Department of Computer Science
• An Efficient Class and Object Encoding Department of Computer Science
• Stack-Based Typed Assembly Language Greg Morrisett, Karl Crary, Neal Glew, and David Walker
• LOW-LEVEL TYPE SYSTEMS FOR MODULARITY AND OBJECT-ORIENTED CONSTRUCTS
• HOOTS99 Preliminary Version Object Closure Conversion
• From System F to Typed Assembly Language Greg Morrisett David Walker Karl Crary Neal Glew
• Technical Report STAR-TR-00-02 An Efficient Class and Object Encoding
• Object Closure Conversion Cornell University
• From System F to Typed Assembly Language (Extended Version)
• Type Dispatch for Named Hierarchical Types # Cornell University
• HOOTS99 Preliminary Version Object Closure Conversion
• A Theory of SecondOrder Trees aglew@acm.org
• Stack-Based Typed Assembly Language Greg Morrisett Karl Crary
• Type Dispatch for Named Hierarchical Types Cornell University
• StackBased Typed Assembly Language # Greg Morrisett Karl Crary
• LOWLEVEL TYPE SYSTEMS FOR MODULARITY AND OBJECTORIENTED CONSTRUCTS
• An Efficient Class and Object Encoding # Department of Computer Science
• From System F to Typed Assembly Language # Greg Morrisett David Walker Karl Crary Neal Glew
• Object Closure Conversion # Cornell University
• Type-Safe Method Inlining Neal Glew1 and Jens Palsberg2
• LOW-LEVEL TYPE SYSTEMS FOR MODULARITY AND OBJECT-ORIENTED CONSTRUCTS
• Certi#ed Email with a Light On-line Trusted Third Party: Design and Implementation
• A Theory of Second-Order Trees Neal Glew
• Type Dispatch for Named Hierarchical Types * Neal Glew
• StackBased Typed Assembly Language # Greg Morrisett, Karl Crary, Neal Glew, and David Walker
• TypeSafe Linking and Modular Assembly Language # Neal Glew and Greg Morrisett
• Type-Safe Method Inlining Neal Glew 1 and Jens Palsberg 2
• Object Closure Conversion * Neal Glew
• Stack-Based Typed Assembly Language ? Greg Morrisett, Karl Crary, Neal Glew, and David Walker
• HOOTS99 Preliminary Version Object Closure Conversion
• Type-Safe Linking and Modular Assembly Language Neal Glew and Greg Morrisett
• Type Dispatch for Named Hierarchical Types Neal Glew
• Stack-Based Typed Assembly Language * Greg Morrisett Karl Crary
• A Theory of Second-Order Trees aglew@acm.org
• From System F to Typed Assembly Language* Greg Morrisett David Walker Karl Crary Neal Glew
• From System F to Typed Assembly Language * (Extended Version)
• An Ef#cient Class and Object Encoding Neal Glew