{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:14:00Z","timestamp":1781972040039,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,1,7]]},"DOI":"10.1145\/1328438.1328486","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T09:45:40Z","timestamp":1199699140000},"page":"395-406","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":199,"title":["The design and implementation of typed scheme"],"prefix":"10.1145","author":[{"given":"Sam","family":"Tobin-Hochstadt","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177847"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/155183.155231"},{"key":"e_1_3_2_1_3_1","volume-title":"Revival of Dynamic Languages Workshop at OOPSLA 2004","author":"Bracha Gilad","year":"2004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_5_1","first-page":"228","volume-title":"Languages and Programming","author":"Cartwright R.","year":"1976"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289459"},{"key":"e_1_3_2_1_8_1","volume-title":"Matthew Flatt. Advanced Macrology and the Implementation of Typed Scheme. In Proceedings of the Eighth Workshop on Scheme and Functional Programming","author":"Culpepper Ryan","year":"2007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806099"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182484"},{"key":"e_1_3_2_1_11_1","unstructured":"ECMA International. ECMAScript Edition 4 group wiki 2007.  ECMA International. ECMAScript Edition 4 group wiki 2007."},{"key":"e_1_3_2_1_12_1","volume-title":"MIT Press","author":"Felleisen Matthias","year":"2001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/316686.316703"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231387"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581486"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277730"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_17"},{"key":"e_1_3_2_1_20_1","volume-title":"Fourth Edition. MIT Press","author":"Daniel","year":"1997"},{"key":"e_1_3_2_1_21_1","volume-title":"The Seasoned Schemer. MIT Press","author":"Daniel","year":"1996"},{"key":"e_1_3_2_1_23_1","volume-title":"Third Edition. Addison-Welsley","author":"Gosling J.","year":"2005"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96714"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182495"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224203"},{"key":"e_1_3_2_1_29_1","volume-title":"8th Symposium on Trends in Functional Programming","author":"Herman David","year":"2007"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the Seventh Workshop on Scheme and Functional Programming","author":"Matthews Jacob","year":"2006"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25979-4_21"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111057"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Tobias\n       \n      Nipkow Lawrence C.\n       \n      Paulson and \n      \n      \n      Markus\n       \n      Wenzel\n    . Isabelle\/\n      \n      \n      HOL - A\n       \n      Proof\n     \n      \n      \n      Assistant\n       for \n      Higher-Order Logic volume \n  2283\n   of \n  LNCS\n  . \n  Springer 2002\n  .   Tobias Nipkow Lawrence C. Paulson and Markus Wenzel. Isabelle\/HOL - A Proof Assistant for Higher-Order Logic volume 2283 of LNCS. Springer 2002.","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_37_1","volume-title":"Information Processing 83","author":"Reynolds John C.","year":"1983"},{"key":"e_1_3_2_1_38_1","volume-title":"Massachusetts Institute of Technology","author":"Salib Michael","year":"2004"},{"key":"e_1_3_2_1_39_1","volume-title":"Carnegie Mellon University","author":"Shivers Olin","year":"1991"},{"key":"e_1_3_2_1_41_1","unstructured":"Jens Axel S\u00f8gaard. Galore 2006. http:\/\/planet.plt-scheme.org\/.  Jens Axel S\u00f8gaard. Galore 2006. http:\/\/planet.plt-scheme.org\/."},{"key":"e_1_3_2_1_42_1","volume-title":"Digital Press","author":"Steele Guy Lewis","year":"1984"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190218"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/11532231_4"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159838"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the Eighth Workshop on Scheme and Functional Programming","author":"Wadler Philip","year":"2007"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502895"},{"key":"e_1_3_2_1_49_1","volume-title":"Rice University","author":"Wright A.","year":"1995"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239917"}],"event":{"name":"POPL08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Francisco California USA","acronym":"POPL08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328486","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328438.1328486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:07Z","timestamp":1750240567000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328486"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":45,"alternative-id":["10.1145\/1328438.1328486","10.1145\/1328438"],"URL":"https:\/\/doi.org\/10.1145\/1328438.1328486","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1328897.1328486","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}