{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:54Z","timestamp":1725544794539},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540342151"},{"type":"electronic","value":"9783540342168"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754602_8","type":"book-chapter","created":{"date-parts":[[2006,5,20]],"date-time":"2006-05-20T07:42:06Z","timestamp":1148110926000},"page":"100-117","source":"Crossref","is-referenced-by-count":0,"title":["A Type System for CHR"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Coquery","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","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, 95\u2013138 (1998)","journal-title":"Journal of Logic Programming, Special Issue on Constraint Logic Programming"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: A Prolog Constraint Handling Rules compiler and runtime system. Special Issue Journal of Applied Artificial Intelligence on Constraint Handling Rules\u00a014 (2000)","DOI":"10.1080\/088395100117043"},{"key":"8_CR3","volume-title":"Electronic Notes in Theoretical Computer Science","author":"S. Abdennadher","year":"2000","unstructured":"Abdennadher, S., Kr\u00e4mer, E., Saft, M., Schmauss, M.: JACK: A Java Constraint Kit. In: Electronic Notes in Theoretical Computer Science, vol.\u00a064, Elsevier, Amsterdam (2000)"},{"key":"8_CR4","unstructured":"Chin, W.N., Sulzmann, M., Wang, M.: A type-safe embedding of constraint handling rules into Haskell. Technical report, National University of Singapore (2003), http:\/\/www.comp.nus.edu.sg\/~sulzmann\/chr\/hchr\/hchr-tr.ps"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-24597-1_12","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"E. Coquery","year":"2003","unstructured":"Coquery, E., Fages, F.: Subtyping constraints in quasi-lattices. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 136\u2013148. Springer, Heidelberg (2003)"},{"key":"8_CR6","unstructured":"Coquery, E.: Typage et programmation en logique avec contraintes. PhD thesis, Universit\u00e9 Paris 6 - Pierre et Marie Curie (2004)"},{"key":"8_CR7","first-page":"167","volume-title":"Proceedings of the International Conference on Functional Programming","author":"P.J. Stuckey","year":"2002","unstructured":"Stuckey, P.J., Sulzmann, M.: A theory of overloading. In: Peyton-Jones, S. (ed.) Proceedings of the International Conference on Functional Programming, pp. 167\u2013178. ACM Press, New York (2002)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Coquery, E., Fages, F.: Tclp: overloading, subtyping and parametric polymorphism made practical for constraint logic programming. Technical Report RR-4926, INRIA Rocquencourt (2002)","DOI":"10.1007\/3-540-45619-8_42"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1017\/S1471068401001120","volume":"1","author":"F. Fages","year":"2001","unstructured":"Fages, F., Coquery, E.: Typing constraint logic programs. Journal of Theory and Practice of Logic Programming\u00a01, 751\u2013777 (2001)","journal-title":"Journal of Theory and Practice of Logic Programming"},{"key":"8_CR10","unstructured":"Coquery, E.: TCLP (2003), http:\/\/contraintes.inria.fr\/~coquery\/tclp\/"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/BFb0017444","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, pp. 252\u2013266. Springer, Heidelberg (1997)"},{"key":"8_CR12","first-page":"111","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany, pp. 111\u2013119. ACM Press, New York (1987)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A., O\u2019Keefe, R.: A polymorphic type system for Prolog. Artificial Intelligence\u00a023, 295\u2013307 (1984)","journal-title":"Artificial Intelligence"},{"key":"8_CR14","first-page":"202","volume-title":"Proceedings of the 1991 International Symposium on Logic Programming","author":"T. Lakshman","year":"1991","unstructured":"Lakshman, T., Reddy, U.: Typed Prolog: A semantic reconstruction of the Mycroft-O\u2019Keefe type system. In: Saraswat, V., Ueda, K. (eds.) Proceedings of the 1991 International Symposium on Logic Programming, pp. 202\u2013217. MIT Press, Cambridge (1991)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/3-540-44450-5_17","volume-title":"FST TCS 2000: Foundations of Software Technology and Theoretical Science","author":"J.-G. Smaus","year":"2000","unstructured":"Smaus, J.-G., Fages, F., Deransart, P.: Using modes to ensure subject reduction for typed logic programs with subtyping. In: Kapoor, S., Prasad, S. (eds.) FST TCS 2000. LNCS, vol.\u00a01974, pp. 214\u2013226. Springer, Heidelberg (2000)"},{"key":"8_CR16","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, 312\u2013347 (2000)","journal-title":"Nordic Journal of Computing"},{"key":"8_CR17","unstructured":"Fr\u00fchwirth, T., Schrijvers, T. (CHR web page), http:\/\/www.cs.kuleuven.ac.be\/~dtai\/projects\/CHR\/"},{"key":"8_CR18","unstructured":"Haemmerl\u00e9, R., Fages, F.: Closures are needed for closed module systems. Technical Report RR-5575, INRIA (2005)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754602_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T13:17:14Z","timestamp":1683465434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754602_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540342151","9783540342168"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11754602_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}