Now showing items 3-4 of 4

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