{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T04:10:45Z","timestamp":1750479045010},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439301"},{"type":"electronic","value":"9783540456193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45619-8_42","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T10:57:41Z","timestamp":1179572261000},"page":"480-480","source":"Crossref","is-referenced-by-count":4,"title":["TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Coquery","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"F. Fages and E. Coquery. Typing constraint logic programs. Theory and Practice of Logic Programming, 1, November 2001.","DOI":"10.1017\/S1471068401001120"},{"key":"42_CR2","unstructured":"F. Pottier. Wallace: an efficient implementation of type inference with subtyping, February 2000. \n                    \n                      http:\/\/pauillac.inria.fr\/~fpottier\/wallace\/\n                    \n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45619-8_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T15:16:20Z","timestamp":1550330180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45619-8_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439301","9783540456193"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/3-540-45619-8_42","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}