{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:46:19Z","timestamp":1648647979953},"reference-count":15,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3619,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s1571-0661(04)80676-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"61-76","source":"Crossref","is-referenced-by-count":2,"title":["Typing rule-based transformations over topological collections"],"prefix":"10.1016","volume":"86","author":[{"given":"Julien","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Aiken, A. and E. Wimmers, Type inclusion constraints and type inference, in: Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture, 1993, pp. 31\u201341.","DOI":"10.1145\/165180.165188"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB2","first-page":"153","article-title":"Bead-Sort: A natural sorting algorithm","volume":"76","author":"Arulanandham","year":"2002","journal-title":"EATCS Bull"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","article-title":"Principles of programming with complex objects and collection types","volume":"149","author":"Buneman","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Clement D., J. Despeyroux, T. Despeyroux and G. Kahn, A simple applicative language: Mini-ML, in: Proceedings of the ACM conference on LISP and Functional Programming, 1986, pp. 13\u201327.","DOI":"10.1145\/319838.319847"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB5","unstructured":"Damas L. and R. Milner, Principal type-schemes for functionnal programs, in: Proceedings of the 15'th Annual Symposium on Principles of Programming Languages (1982), pp. 207\u2013212."},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB6","unstructured":"Giavitto J.-L. and O. Michel, MGS: a programming language for the transformations of topological collections, Technical Report lami-61\u20132001, LaMI Universit\u00e9 d'\u00c9vry Val d'Essonne (2001)."},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB7","article-title":"MGS: a rule-based programming language for complex objects and collections","volume":"59","author":"Giavitto","year":"2001"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Giavitto J.-L. and O. Michel, Data structure as topological spaces, in: Proceedings of the 3nd International Conference on Unconventional Models of Computation UMC02, 2509, Himeji, Japan, 2002, pp. 137\u2013150, Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-45833-6_12"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB9","series-title":"RULE'02","first-page":"55","article-title":"Pattern-matching and rewriting rules for group indexed data structures","author":"Giavitto","year":"2002"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB10","first-page":"29","article-title":"The principal type scheme of an object in combinatory logic","volume":"146","author":"Hindley","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB11","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","article-title":"A semantics for shape","volume":"25","author":"Jay","year":"1995","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB12","series-title":"Advanced Functional Programming, Second International School","first-page":"68","article-title":"Polytypic programming","author":"Jeuring","year":"1996"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Lisper B. and P. Hammarlund, On the relation between functional and data-parallel programming languages, in: Proc. of the 6th. Int. Conf. on Functional Languages and Computer Architectures, ACM, 1993, pp. 210\u2013222.","DOI":"10.1145\/165180.165211"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","article-title":"A theory of type polymorphism in programming","volume":"17","author":"Milner","year":"1978","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1571-0661(04)80676-5_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Wadler P., \u201cEfficient compilation of pattern matching,\u201d Prentice-Hall, 1987 Ch. 6 of \u201cThe Implementation of Functionnal Programming Language\u201d, S. L. Peyton Jones.","DOI":"10.1145\/41625.41653"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806765?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806765?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:14:20Z","timestamp":1585898060000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806765"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066104806765"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80676-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}