@inproceedings{HenseSmolka1994, author = {Andreas V. Hense and Gert Smolka}, title = {A record calculus with principal types}, series = {Jouannaud (Ed.): Constraints in Computational Logics. First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings. Lecture Notes in Computer Science, Vol. 845}, publisher = {Springer}, isbn = {3-540-58403-X}, doi = {10.1007/BFb0016856}, pages = {219 -- 236}, year = {1994}, language = {en} }