Nielson, H. R.; Solberg, K. L. Particpants’ Proceedings on the Workshop: Types for Program Analysis. DPB 1995, 24.