Thomas P. Jensen. Abstract Interpretation over Algebraic Data Types. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. IEEE Computer Society, 1994.
Abstract is missing.