乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:52:39Z","timestamp":1724874759790},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1145\/301618.301641","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T16:24:15Z","timestamp":1068827055000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":61,"title":["What is a recursive module?"],"prefix":"10.1145","author":[{"given":"Karl","family":"Crary","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Sidd","family":"Puri","sequence":"additional","affiliation":[{"name":"Microsoft Corporation"}]}],"member":"320","published-online":{"date-parts":[[1999,5]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/155183.155231"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"crossref","unstructured":"Deride\n Ancona\n and \n Elena\n Zucca\n .\n An algebra of mixin modules\n . In F. Parisi-Presicce editor WADT '97 l~th Workshop on Algebraic Development Techniques - Selected Papers volume \n 1376\n of \n Lecture Notes in Computer Science pages \n 92\n -\n 106 Berlin 1997\n . \n Springer Verlag\n . Deride Ancona and Elena Zucca. An algebra of mixin modules. In F. Parisi-Presicce editor WADT '97 l~th Workshop on Algebraic Development Techniques - Selected Papers volume 1376 of Lecture Notes in Computer Science pages 92-106 Berlin 1997. Springer Verlag.","DOI":"10.1007\/3-540-64299-4_28"},{"key":"e_1_3_2_1_4_2","unstructured":"Luca Cardelli. Phase distinctions in type theory. Unpublished manuscript. Luca Cardelli. Phase distinctions in type theory. Unpublished manuscript."},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232654"},{"key":"e_1_3_2_1_7_2","first-page":"87","volume-title":"Parameterized modules, recursive modules, and mixin modules, in 1998 A CM SIGPLAN Workshop on ML","author":"Duggan Dominic","year":"1998","unstructured":"Dominic Duggan and Constantinos Sourelis . Parameterized modules, recursive modules, and mixin modules, in 1998 A CM SIGPLAN Workshop on ML , pages 87 - 96 , Baltimore , Maryland, September 1998 . Dominic Duggan and Constantinos Sourelis. Parameterized modules, recursive modules, and mixin modules, in 1998 A CM SIGPLAN Workshop on ML, pages 87-96, Baltimore, Maryland, September 1998."},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277730"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/169701.169696"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96744"},{"key":"e_1_3_2_1_12_2","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"Harper Robert","year":"1998","unstructured":"Robert Harper and Chris Stone . A type-theoretic interpretation of Standard ML . In Proof, Language and Interaction: Essays in Honour of Robin Milner . The MIT Press , 1998 . To appear. Robert Harper and Chris Stone. A type-theoretic interpretation of Standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, 1998. To appear."},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_14_2","volume-title":"The Objective Carol system: Documentation and user's guide.","author":"Leroy Xavier","year":"1996","unstructured":"Xavier Leroy . The Objective Carol system: Documentation and user's guide. Available at http:\/\/pauillac, inria, fr\/ocaml\/htmlman\/., 1996 . Xavier Leroy. The Objective Carol system: Documentation and user's guide. Available at http:\/\/pauillac, inria, fr\/ocaml\/htmlman\/., 1996."},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802036"},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_17_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1007\/3-540-63165-8_221","volume-title":"Twenty- Fourth International Colloquium on Automata, Languages, and Programming","author":"S~nizergues G~raud","year":"1997","unstructured":"G~raud S~nizergues . The equivalence problem for deterministic pushdown automata is decidable . In Twenty- Fourth International Colloquium on Automata, Languages, and Programming , volume 1256 of Lecture Notes in Computer Science , pages 671 - 681 , Bologna, Italy, July 1997 . Springer-Verlag . G~raud S~nizergues. The equivalence problem for deterministic pushdown automata is decidable. In Twenty- Fourth International Colloquium on Automata, Languages, and Programming, volume 1256 of Lecture Notes in Computer Science, pages 671-681, Bologna, Italy, July 1997. Springer-Verlag."},{"key":"e_1_3_2_1_18_2","volume-title":"Proceedings of the 1997 A CM SIGPLAN Workshop on Types in Compilation","author":"Shao Zhong","year":"1997","unstructured":"Zhong Shao . An overview of the FLINT\/ML compiler . In Proceedings of the 1997 A CM SIGPLAN Workshop on Types in Compilation , Kyoto, Japan , June 1997 . Zhong Shao. An overview of the FLINT\/ML compiler. In Proceedings of the 1997 A CM SIGPLAN Workshop on Types in Compilation, Kyoto, Japan, June 1997."},{"key":"e_1_3_2_1_19_2","volume-title":"September","author":"Shao Zhong","year":"1998","unstructured":"Zhong Shao . Equality of recursive types. (Private communication) , September 1998 . Zhong Shao. Equality of recursive types. (Private communication), September 1998."},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289436"},{"key":"e_1_3_2_1_21_2","volume-title":"Workshop on Compiler Support for System Software","author":"Sirer Emin Giin","year":"1996","unstructured":"Emin Giin Sirer , Marc E. Fiucynski , Przemyslaw Pardyak , and Brian N. Bershad . Safe dynamic linking in an extensible operating system . In Workshop on Compiler Support for System Software , Tucson, Arizona , February 1996 . Emin Giin Sirer, Marc E. Fiucynski, Przemyslaw Pardyak, and Brian N. Bershad. Safe dynamic linking in an extensible operating system. In Workshop on Compiler Support for System Software, Tucson, Arizona, February 1996."},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512765"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231414"}],"event":{"name":"PLDI99: Conference on Programming Language Design and Implementation 1999","location":"Atlanta Georgia USA","acronym":"PLDI99","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/301618.301641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:44:28Z","timestamp":1693845868000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/301618.301641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":21,"alternative-id":["10.1145\/301618.301641","10.1145\/301618"],"URL":"https:\/\/doi.org\/10.1145\/301618.301641","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/301631.301641","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1999,5]]},"assertion":[{"value":"1999-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}