乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:03:09Z","timestamp":1725724989422},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,6,15]]},"DOI":"10.1145\/232627.232652","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T12:08:40Z","timestamp":1075810120000},"page":"239-250","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Enriching the lambda calculus with contexts"],"prefix":"10.1145","author":[{"given":"Shinn-Der","family":"Lee","sequence":"first","affiliation":[{"name":"Computer Science Department, Indiana University, Bloomington, IN"}]},{"given":"Daniel P.","family":"Friedman","sequence":"additional","affiliation":[{"name":"Computer Science Department, Indiana University, Bloomington, IN"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/218132.218135"},{"key":"e_1_3_2_1_2_2","volume-title":"North-Holland","author":"Barendregt H. P.","year":"1984","unstructured":"H. P. Barendregt . The Lambda Calculus: Its Syntax and Semantics. Revised edition , North-Holland , 1984 . H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. Revised edition, North-Holland, 1984."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)90458-2"},{"key":"e_1_3_2_1_4_2","unstructured":"Luca Cardelli and John C. Mitchell. Operations on records. In {8}. Luca Cardelli and John C. Mitchell. Operations on records. In {8}."},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74922"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_8_2","volume-title":"Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design","author":"Gunter Carl A.","year":"1994","unstructured":"Carl A. Gunter and John C. Mitchell . Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design . MIT Press , 1994 . Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. MIT Press, 1994."},{"key":"e_1_3_2_1_9_2","first-page":"211","volume-title":"Proc. of the Third European Symp. on Programming","author":"Jefferson Stanley","year":"1990","unstructured":"Stanley Jefferson , Shinn-Der Lee , and Daniel P. Friedman . A syntactic theory of transparent paxameterization . In Proc. of the Third European Symp. on Programming , pages 211 - 226 , Springer-Verlag , 1990 . Stanley Jefferson, Shinn-Der Lee, and Daniel P. Friedman. A syntactic theory of transparent paxameterization. In Proc. of the Third European Symp. on Programming, pages 211-226, Springer-Verlag, 1990."},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73567"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62724"},{"key":"e_1_3_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158706"},{"key":"e_1_3_2_1_13_2","first-page":"21","volume-title":"Proc. of IFIP Congress 63~","author":"McCarthy John","year":"1963","unstructured":"John McCarthy . Towards a mathematical science of computation . In Proc. of IFIP Congress 63~ pages 21 - 28 . North-Holland , 1963 . John McCarthy. Towards a mathematical science of computation. In Proc. of IFIP Congress 63~ pages 21- 28. North-Holland, 1963."},{"key":"e_1_3_2_1_14_2","volume-title":"The Definition of Standard ML","author":"Milner Robin","year":"1990","unstructured":"Robin Milner , Mads Torte , and Robert Harper . The Definition of Standard ML . MIT Press , 1990 . Robin Milner, Mads Torte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"e_1_3_2_1_16_2","volume-title":"The implementation of Functional Programming Languages","author":"Peyton Jones Simon L.","year":"1987","unstructured":"Simon L. Peyton Jones . The implementation of Functional Programming Languages . Prentice Hall , 1987 . Simon L. Peyton Jones. The implementation of Functional Programming Languages. Prentice Hall, 1987."},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"e_1_3_2_1_19_2","volume-title":"Denotational Semantics: The Scott- Strachey Approach to Programming Language Theory","author":"Stoy Joseph E.","year":"1981","unstructured":"Joseph E. Stoy . Denotational Semantics: The Scott- Strachey Approach to Programming Language Theory . MIT Press , 1981 . Joseph E. Stoy. Denotational Semantics: The Scott- Strachey Approach to Programming Language Theory. MIT Press, 1981."},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90240-T"},{"key":"e_1_3_2_1_21_2","unstructured":"Mitchcll Wand. Type inference for objects with instance variables and inheritance. In {8}. Mitchcll Wand. Type inference for objects with instance variables and inheritance. In {8}."}],"event":{"name":"ICFP96: International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Philadelphia Pennsylvania USA","acronym":"ICFP96"},"container-title":["Proceedings of the first ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/232627.232652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:42:41Z","timestamp":1693849361000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232652"}},"subtitle":["toward a theory of incremental program construction"],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":18,"alternative-id":["10.1145\/232627.232652","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232652","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232652","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,6,15]]},"assertion":[{"value":"1996-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}