Andreas V. Hense, Gert Smolka. A Record Calculus with Principal Types. In Jean-Pierre Jouannaud, editor, Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994. Volume 845 of Lecture Notes in Computer Science, pages 219-236, Springer, 1994.
@inproceedings{HenseS94, title = {A Record Calculus with Principal Types}, author = {Andreas V. Hense and Gert Smolka}, year = {1994}, researchr = {https://researchr.org/publication/HenseS94}, cites = {0}, citedby = {0}, pages = {219-236}, booktitle = {Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994}, editor = {Jean-Pierre Jouannaud}, volume = {845}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58403-X}, }