J. Palsberg and T. Jim. Type Inference With Simple Selftypes is NP-Complete. Nordic Journal of Computing, 4(3):59-286, September 1997.
J. Palsberg, B. Patt-Shamir, and K. Lieberher. A New Approach to Compiling Adaptive Programs. Science of Computer Programming, 29(3):303-326, September 1997.
J. Palsberg, A. Aiken, and E. L. Wimmers. Optimal Representations of Polymorphic Types with Subtyping. In Proceedings of TACS'97, International Symposium on Theoretical Aspects of Computer Software, pages 47-76, Springer-Verlag (LNCS 1281), Sendai, Japan, September 1997.
J. Palsberg, M. Wand, and P. O'Keefe. Type Inference With Non-Structural Subtyping. Formal Aspects of Computing, 9:49-67, 1997.
J. Palsberg. Class-Graph Inference for Adaptive Programs. Theory and Practice of Object Systems, 3(2):75-85, 1997.
J. Palsberg, O. Danvy, and K. Malmkjaer. Eta-Expansion Does the Trick. ACM Transactions on Programming Languages and Systems, 18(6):730-751, November 1996.
J. Palsberg, L. Seiter, and K. Lieberherr. Evolution of Object Behavior Using Context Relations. In Proceedings of ACM SIGSOFT'96, Fourth Symposium on the Foundations of Software Engineering, San Francisco, California, October 1996.
J. Palsberg and S. Smith. Constrained Types and Their Expressiveness. ACM Transactions on Programming Languages and Systems, 18(5):519-527, September 1996.
J. Palsberg Biographical Information