Now showing items 1-1 of 1

    • Dead Code Elimination Through Type Inference 

      Hafizogullari, Ozan; Kreitz, Christoph (Cornell University, 1998-04)
      We introduce a method to detect and eliminate dead code in typed functional programming languages. Our approach relies on a type system with simple subtypes for specifying dead code and a type inference algorithm for ...