TY - CHAP U1 - Konferenzveröffentlichung A1 - Hense, Andreas V. A1 - Smolka, Gert T1 - A record calculus with principal types T2 - 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 Y1 - 1994 SN - 3-540-58403-X SB - 3-540-58403-X U6 - https://doi.org/10.1007/BFb0016856 DO - https://doi.org/10.1007/BFb0016856 SP - 219 EP - 236 PB - Springer ER -