{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:29:21Z","timestamp":1725560961403},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206804"},{"type":"electronic","value":"9783540245971"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24597-1_12","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T03:39:20Z","timestamp":1280374760000},"page":"136-148","source":"Crossref","is-referenced-by-count":4,"title":["Subtyping Constraints in Quasi-lattices"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Coquery","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"unstructured":"Coquery, E.: Tclp: a generic type checker for constraint logic programs, http:\/\/pauillac.inria.fr\/~coquery\/tclp\/","key":"12_CR2"},{"unstructured":"Coquery, E., Fages, F.: From typing constraints to typed constraint systems in CHR. In: Third workshop on Rule-based Constraint Reasoning and Programming, CP 2001, Cyprus (December 2001)","key":"12_CR3"},{"doi-asserted-by":"crossref","unstructured":"Coquery, E., Fages, F.: Tclp: overloading, subtyping and parametric polymorphism made practical for constraint logic programming. Technical report, INRIA Rocquencourt (2002)","key":"12_CR4","DOI":"10.1007\/3-540-45619-8_42"},{"doi-asserted-by":"crossref","unstructured":"Coquery, E., Fages, F.: Subtyping constraints in quasi-lattices. Technical report, INRIA Rocquencourt (September 2003)","key":"12_CR5","DOI":"10.1007\/978-3-540-24597-1_12"},{"doi-asserted-by":"crossref","unstructured":"Fages, F., Coquery, E.: Typing constraint logic programs. Theory and Practice of Logic Programming\u00a01 (November 2001)","key":"12_CR6","DOI":"10.1017\/S1471068401001120"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032747","volume-title":"Static Analysis","author":"A. Frey","year":"1997","unstructured":"Frey, A.: Satisfying subtype inequalities in polynomial space. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302, Springer, Heidelberg (1997)"},{"issue":"1-3","key":"12_CR8","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming, Special Issue on Constraint Logic Programming"},{"unstructured":"Palsberg, J., Zhao, T., Jim, T.: Automatic discovery of covariant read-only fields. In: Ninth International Workshop on Foundations of Object-Oriented Languages (January 2002)","key":"12_CR9"},{"issue":"4","key":"12_CR10","first-page":"312","volume":"7","author":"F. Pottier","year":"2000","unstructured":"Pottier, F.: A versatile constraint-based type inference system. Nordic Journal of Computing\u00a07(4), 312\u2013347 (2000)","journal-title":"Nordic Journal of Computing"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/inco.2001.2963","volume":"170","author":"F. Pottier","year":"2001","unstructured":"Pottier, F.: Simplifying subtyping constraints: a theory. Information & Computation\u00a0170(2), 153\u2013183 (2001)","journal-title":"Information & Computation"},{"issue":"1-2","key":"12_CR12","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3233\/FI-1996-281211","volume":"28","author":"V. Pratt","year":"1996","unstructured":"Pratt, V., Tiuryn, J.: Satisfiability of inequalities in a poset. Fundamenta Informaticae\u00a028(1-2), 165\u2013182 (1996)","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"Smolka, G.: Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, Universitat Kaiserslautern (1989)","key":"12_CR13","DOI":"10.1007\/3-540-50667-5_58"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-61739-6_52","volume-title":"Static Analysis","author":"V. Trifonov","year":"1996","unstructured":"Trifonov, V., Smith, S.: Subtyping constrained types. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 349\u2013365. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24597-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T08:47:43Z","timestamp":1685695663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24597-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206804","9783540245971"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24597-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}