We are also investigating the relationship between types and flow information, and ways of combining them. The benefits include easier correctness proofs and faster flow analyses without sacrifice of precision. The project is supported by a National Science Foundation Faculty Early Career Development Award. Book Jens Palsberg and Michael I. Schwartzbach. Papers on Type Inference Jens Palsberg.
Normal forms have partial types.
Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach. Efficient inference of partial types. Efficient inference of object types. Preliminary version in Proceedings of LICS'94, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 186-195, Paris, France, July 1994. Jens Palsberg, Mitchell Wand, and Patrick M. O'Keefe.