Publications by Jens Palsberg Publications by Jens Palsberg Books Object-oriented type systems, with Michael I. Schwartzbach. Proceedings of SAS'00, 7th International Static Analysis Symposium. Journal Articles Safety analysis versus type inference for partial types, with Michael I. Schwartzbach.
Normal forms have partial types.
Correctness of binding-time analysis. A denotational semantics of inheritance and its correctness, with William Cook. Static typing for object-oriented programming, with Michael I. Schwartzbach. Efficient inference of partial types, with Dexter Kozen and Michael I. Schwartzbach. Safety analysis versus type inference, with Michael I. Schwartzbach.