乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:09:02Z","timestamp":1725725342513},"publisher-location":"New York, NY, USA","reference-count":23,"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.232632","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"25-33","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Functional back-ends within the lambda-sigma calculus"],"prefix":"10.1145","author":[{"given":"Th\u00e9r\u00e8se","family":"Hardin","sequence":"first","affiliation":[{"name":"IBP-LITP, Universit\u00e9 Pierre et Marie Curie, 75252 Paris Cedex 05, France and INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex France"}]},{"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[{"name":"INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex France"}]},{"given":"Bruno","family":"Pagano","sequence":"additional","affiliation":[{"name":"IBP-LITP, Universit\u00e9 Pierre et Marie Curie, 75252 Paris Cedex 05, France and INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex France"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96712"},{"key":"e_1_3_2_1_2_2","volume-title":"Cambridge University Press","author":"Appel A. W.","year":"1992","unstructured":"A. W. Appel , \"Compiling with Continuations\" , Cambridge University Press , 1992 . A. W. Appel, \"Compiling with Continuations\", Cambridge University Press, 1992."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199507"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"crossref","unstructured":"A. Asperti \"A CategoricM Understanding of Environmeat Machines\" JFP 2(1) 1992. A. Asperti \"A CategoricM Understanding of Environmeat Machines\" JFP 2(1) 1992.","DOI":"10.1017\/S0956796800000253"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802038"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802037"},{"volume-title":"FPCA'85","author":"Cousineau G.","key":"e_1_3_2_1_7_2","unstructured":"G. Cousineau , P.-L. Curien and M. Mauny , \" The CategoricM Abstract Machine \", FPCA'85 . G. Cousineau, P.-L. Curien and M. Mauny, \"The CategoricM Abstract Machine\", FPCA'85."},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91681"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90230-Y"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226675"},{"key":"e_1_3_2_1_11_2","unstructured":"R. Douence and P. Fradet \"Towards a Taxonomy of FunctionM Language Implementations\". PILP'95. R. Douence and P. Fradet \"Towards a Taxonomy of FunctionM Language Implementations\". PILP'95."},{"volume-title":"LICS'95","author":"Dowek G.","key":"e_1_3_2_1_12_2","unstructured":"G. Dowek , T. Hardin and C.Kirchner, \"Higher-Order Unitication via explicit Substitutions \", LICS'95 . G. Dowek, T. Hardin and C.Kirchner, \"Higher-Order Unitication via explicit Substitutions\", LICS'95."},{"volume-title":"FPCA'87","author":"Fairbairn J.","key":"e_1_3_2_1_13_2","unstructured":"J. Fairbairn and S. Wray , \" Tim: A Simple, Lazy Abstract Machine to Execute Supercombinators ', FPCA'87 . J. Fairbairn and S. Wray, \"Tim: A Simple, Lazy Abstract Machine to Execute Supercombinators', FPCA'87."},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001559"},{"volume-title":"CSL'94","author":"Herbelin H.","key":"e_1_3_2_1_15_2","unstructured":"H. Herbelin , \" A A-C Mculas Structure Isomorphic to Sequent Calculus Structure\" , CSL'94 . H. Herbelin, \"A A-CMculas Structure Isomorphic to Sequent Calculus Structure\", CSL'94."},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/174675.174707"},{"key":"e_1_3_2_1_20_2","unstructured":"L. Maranget \"OptimM derivation in Orthogonal Rewriting Systems and in Weak Lambda Calcul?' POPL'91. L. Maranget \"OptimM derivation in Orthogonal Rewriting Systems and in Weak Lambda Calcul?' POPL'91."},{"key":"e_1_3_2_1_21_2","volume-title":"Journdes Francophone des Langages Applicatifs","author":"Pagano B.","year":"1995","unstructured":"B. Pagano , \"Bi-simulation de machines abstraites ell lambda-sigma-calcur' , Journdes Francophone des Langages Applicatifs 1995 , INRIA Editions (In french). B. Pagano, \"Bi-simulation de machines abstraites ell lambda-sigma-calcur', Journdes Francophone des Langages Applicatifs 1995, INRIA Editions (In french)."},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"e_1_3_2_1_23_2","unstructured":"$. L. Peyton Jones \"The implementation of Functional Programming Languages\" Prentice-Hall 1987. $. L. Peyton Jones \"The implementation of Functional Programming Languages\" Prentice-Hall 1987."},{"key":"e_1_3_2_1_24_2","volume-title":"Phd thesis","author":"Rittri M.","year":"1988","unstructured":"M. Rittri , \"Proving the Correctness of a Virtu M Machine by a Bisimulation\" , Phd thesis , University of G6teborg and Chalmers University of Technology , 1988 . M. Rittri, \"Proving the Correctness of a VirtuM Machine by a Bisimulation\", Phd thesis, University of G6teborg and Chalmers University of Technology, 1988."}],"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.232632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:41:23Z","timestamp":1693863683000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":23,"alternative-id":["10.1145\/232627.232632","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232632","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232632","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"}}]}}