Correctness of Type Transformations

Peter Pepper. Correctness of Type Transformations. In ADT. 1983.

Abstract

Abstract is missing.