A record calculus with principal types
Document Type: | Conference Object |
---|---|
Language: | English |
Author: | Andreas V. Hense, Gert Smolka |
Parent Title (English): | 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 |
First Page: | 219 |
Last Page: | 236 |
ISBN: | 3-540-58403-X |
DOI: | https://doi.org/10.1007/BFb0016856 |
Publisher: | Springer |
Publication year: | 1994 |
Dewey Decimal Classification (DDC): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Entry in this database: | 2016/08/11 |