Now showing items 2-4 of 4

    • 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 ...