{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:39Z","timestamp":1761610239186,"version":"build-2065373602"},"reference-count":14,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"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":3984,"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":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80418-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"98-115","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Calculus for \u201cenvironment-aware\u201d computation"],"prefix":"10.1016","volume":"66","author":[{"given":"Viviana","family":"Bono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB1","series-title":"Monographs in Computer Science","article-title":"A Theory of Objects","author":"Abadi","year":"1996"},{"issue":"1-2","key":"10.1016\/S1571-0661(04)80418-3_NEWBIB2","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0304-3975(98)00137-6","article-title":"Matching for the Lambda Calculus of Objects","volume":"212","author":"Bono","year":"1999","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB3","doi-asserted-by":"crossref","unstructured":"V. Bono and K. Fisher. An Imperative, First-Order Calculus with Object Extension. In Proc. of ECOOP'98, volume 1445 of LNCS, pages 462\u2013497, 1998. A preliminary version already appeared in Proc. of 5th Annual FOOL Workshop.","DOI":"10.1007\/BFb0054104"},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB4","unstructured":"C. Calcagno, E. Moggi, and T. Sheard. Closed Types for a Safe Imperative MetaML. Journal of Functional Programming, TO APPEAR."},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB5","unstructured":"The DART project home page. Availble at http:\/\/www.disi.unige.it\/project\/dart\/."},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB6","unstructured":"Visual Basic Documentation. Available at http:\/\/msdn.microsoft.com\/library\/."},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB7","unstructured":"K. Fisher. Type Systems for Object-Oriented Programming Languages. PhD thesis, Stanford University, 1996. Available as Stanford Computer Science Technical Report number STAN-CS-TR-98\u20131602."},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB8","unstructured":"K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3\u201337, 1994. A preliminary version appeared in Proc. of IEEE Symp. LICS'93."},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB9","article-title":"JavaScript: The definitive guide","author":"Flannanghan","year":"1999","journal-title":"O'Reilly"},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB10","article-title":"Communication and Concurrency","author":"Milner","year":"1989","journal-title":"Prentice Hall"},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB11","article-title":"Tcl and the Tk Toolkit","author":"Ousterhout","year":"1994","journal-title":"Addison-Wesley"},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB12","series-title":"IEEE Computer Magazine","article-title":"Scripting: higher level programming for the 21st century","author":"Ousterhout","year":"1998"},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB13","unstructured":"D. Steinman. The Dynamic Duo - Cross Browser Dynamic HTML. Tutorial available at http:\/\/www.dansteinman.com\/dynduo\/."},{"key":"10.1016\/S1571-0661(04)80418-3_NEWBIB14","article-title":"A syntactic approach to type soundness","author":"Wight","year":"1994","journal-title":"Information and Computation"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804183?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804183?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:05:26Z","timestamp":1761609926000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804183"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S1571066104804183"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80418-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A Calculus for \u201cenvironment-aware\u201d computation","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(04)80418-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}