A. Hense, G. Smolka "A Record Calculus with Principal Types" 1st International Conference on Constraints in Computational Logics, pp 219-236, J.-P. Jouannaud editor, Springer-Verlag, LNCS 845, (1994)

Languages mentioned

• O'Small {1991}