{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:58Z","timestamp":1761611158132,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4958,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1016\/s1571-0661(05)80135-5","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"339-360","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":7,"special_numbering":"C","title":["Polytypic Programming in Maude"],"prefix":"10.1016","volume":"36","author":[{"given":"M.","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80135-5_BIB1","first-page":"28","article-title":"Generic programming: An introduction","volume":"1608","author":"Backhouse","year":"1999"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB2","article-title":"Rewriting logic as a metalogical framework","author":"Basin","year":"2000","journal-title":"Manuscript"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB3","doi-asserted-by":"crossref","unstructured":"M. Clavel. Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language, Ph.D. thesis, University of Navarre, Spain, February 1998. To be published by CSLI Publications, Stanford University.","DOI":"10.1016\/S1571-0661(05)82553-8"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB4","doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, and J. Meseguer. Metalevel computation in Maude. In C. Kirchner and H. Kirchner, editors, Proc. Second Int. Workshop on Rewriting Logic and its Applications, Pont-\u00e0-Mousson, France, ENTCS 15. Elsevier, 1998. http:\/\/www.elsevier.nl\/Iocate\/entcs\/volumel5.html","DOI":"10.1016\/S1571-0661(05)80020-9"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB5","series-title":"Technical Report, Computer Science Laboratory, SRI International","article-title":"Maude: Specification and programming in rewriting logic","author":"Clavel","year":"1999"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB6","article-title":"A Maude Tutorial","volume":"25","author":"Clavel","year":"2000"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB7","series-title":"Proc. CafeOBJ Symposium '98, Numazu, Japan","article-title":"Building equational logic tools by reflection in rewriting logic","author":"Clavel","year":"1998"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB8","first-page":"1684","article-title":"Maude as a formal meta-tool","volume":"1709","author":"Clavel","year":"1999"},{"journal-title":"Reflection in conditional rewriting logic. Manuscript, submitted for publication","year":"2000","author":"Clavel","key":"10.1016\/S1571-0661(05)80135-5_BIB9"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB10","unstructured":"F. Dur\u00e1n. A Reflective Module Algebra with Applications to the Maude Language, Ph.D. thesis, University of Malaga, Spain, June 1999."},{"key":"10.1016\/S1571-0661(05)80135-5_BIB11","first-page":"422","article-title":"The extensibility of Maude's module algebra","volume":"1816","author":"Dur\u00e1n","year":"2000"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB12","doi-asserted-by":"crossref","unstructured":"F. Dur\u00e1n and J. Meseguer. On parameterized theories and views for Maude. In K. Futatsugi, editor, Proc. Third Int. Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, ENTCS 36. Elsevier, 2000. This volume.","DOI":"10.1016\/S1571-0661(05)80136-7"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB13","series-title":"Software Reusability, Volume I: Concepts and Models","first-page":"159","article-title":"Principles of parameterized programming","author":"Goguen","year":"1989"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB14","series-title":"Research Topics in Functional Programming","first-page":"309","article-title":"Higher-order functions considered unnecessary for higher-order programming","author":"Goguen","year":"1990"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB15","series-title":"Software Engineering with OBJ: Algebraic Specification in Action","first-page":"3","article-title":"Introducing OBJ","author":"Goguen","year":"2000"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB16","first-page":"470","article-title":"PolyP \u2014 A polytypic programming language extension","author":"Jansson","year":"1997"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB17","first-page":"68","article-title":"Polytypic programming","volume":"1129","author":"Jeuring","year":"1996"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB18","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In J. Meseguer, editor, Proc. First Int. Workshop on Rewriting Logic and its Applications, Asilomar, California, ENTCS 4. Elsevier, 1996. http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB19","first-page":"18","article-title":"Membership algebra as a logical framework for equational specification","volume":"1376","author":"Meseguer","year":"1998"},{"key":"10.1016\/S1571-0661(05)80135-5_BIB20","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"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801355?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801355?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:56Z","timestamp":1761610136000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105801355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":20,"alternative-id":["S1571066105801355"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80135-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Polytypic Programming in Maude","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80135-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}