Now showing items 1-4 of 4

    • From System F to Typed Assembly Language (Extended Version) 

      Morrisett, Greg; Walker, David; Crary, Karl; Glew, Neal (Cornell University, 1997-11)
      We motivate the design of a statically typed assembly language (TAL) and present a type-preserving translation from System F to TAL. The TAL we present is based on a conventional RISC assembly language, but its static ...
    • Object Closure Conversion 

      Glew, Neal (Cornell University, 1999-08)
      An integral part of implementing functional languages is closure conversion-the process of converting code with free variables into closed code and auxiliary data structures. Closure conversion has been extensively studied ...
    • A Theory of Second-Order Trees 

      Glew, Neal (Cornell University, 2002-01-25)
      This report describes a theory of second-order trees, that is, finite and infinite trees where nodes of the tree can bind variables that appear further down in the tree. Such trees can be used to provide a natural and ...
    • Type Dispatch for Named Hierarhical Types 

      Glew, Neal (Cornell University, 1999-04)
      Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression and a try statement for switching on an ...