Compiling with Polymorphic and Polyvariant Flow Types ∗

  title={Compiling with Polymorphic and Polyvariant Flow Types ∗},
  author={Franklyn A. Turbak and Joe B. Wells},
Optimizing compilers for function-oriented and object-oriented languages exploit type and flow information for efficient implementation. Although type and flow information (both control and data flow) are inseparably intertwined, compilers usually compute and represent them separately. Partially, this has been a result of the usual polymorphic type systems using ∀ and ∃ quantifiers, which are difficult to use in combination with flow annotations. In the Church Project, we are experimenting with… CONTINUE READING