{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:12Z","timestamp":1772163972430,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,26]],"date-time":"2009-10-26T00:00:00Z","timestamp":1256515200000},"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":[[2009,10,26]]},"DOI":"10.1145\/1640134.1640140","type":"proceedings-article","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:27:28Z","timestamp":1256635648000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Contracts for first-class modules"],"prefix":"10.1145","author":[{"given":"T. Stephen","family":"Strickland","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Sun Microsystems","author":"Allen Eric","year":"2008","unstructured":"Eric Allen , David Chase , Joe Hallett , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L. Steele Jr ., and Sam Tobin-Hochstadt . The Fortress Language Specification . Sun Microsystems , 2008 . Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt. The Fortress Language Specification. Sun Microsystems, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"e_1_3_2_1_3_1","volume-title":"Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex","author":"Felleisen Matthias","year":"2009","unstructured":"Matthias Felleisen , Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex . MIT Press , 2009 a. Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex. MIT Press, 2009a."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596561"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289432"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BFb0033856","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"Findler Robert Bruce","year":"1997","unstructured":"Robert Bruce Findler , Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , and Matthias Felleisen . DrScheme: A pedagogic programming environment for Scheme . In Programming Languages: Implementations, Logics, and Programs , volume 1292 of LNCS , pages 369 -- 388 . Springer , September 1997 . Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Programming Languages: Implementations, Logics, and Programs, volume 1292 of LNCS, pages 369--388. Springer, September 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277730"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_17"},{"key":"e_1_3_2_1_12_1","volume-title":"PLT Scheme Inc.","author":"Matthew","year":"2009","unstructured":"Matthew Flatt et al. Reference: PLT Scheme. Reference Manual PLT-TR2009-reference-v4.1.4 , PLT Scheme Inc. , January 2009 . http:\/\/plt-scheme.org\/techreports\/. Matthew Flatt et al. Reference: PLT Scheme. Reference Manual PLT-TR2009-reference-v4.1.4, PLT Scheme Inc., January 2009. http:\/\/plt-scheme.org\/techreports\/."},{"key":"e_1_3_2_1_13_1","first-page":"122","volume-title":"European Symposium on Programming","volume":"2028","author":"Graunke Paul T.","year":"2001","unstructured":"Paul T. Graunke , Shriram Krishnamurthi , Steve van der Hoeven, and Matthias Felleisen. Programming the Web with high-level programming languages . In European Symposium on Programming , volume 2028 of LNCS, pages 122 -- 136 . Springer , April 2001 . Paul T. Graunke, Shriram Krishnamurthi, Steve van der Hoeven, and Matthias Felleisen. Programming the Web with high-level programming languages. In European Symposium on Programming, volume 2028 of LNCS, pages 122--136. Springer, April 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_16_1","volume-title":"The Definition of Standard ML","author":"Milner Robin","year":"1990","unstructured":"Robin Milner , Mads Tofte , and Robert Harper . The Definition of Standard ML . MIT Press , 1990 . Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"e_1_3_2_1_17_1","volume-title":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne","author":"Odersky Martin","year":"2009","unstructured":"Martin Odersky . The Scala Language Specification . Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne , 2009 . Martin Odersky. The Scala Language Specification. Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159815"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_20_1","first-page":"125","volume-title":"Theoretical Computer Science","author":"Plotkin Gordon D.","year":"1975","unstructured":"Gordon D. Plotkin . Call-by-name, call-by-value , and the \u03bb-calculus . Theoretical Computer Science , pages 125 -- 159 , 1975 . Gordon D. Plotkin. Call-by-name, call-by-value, and the \u03bb-calculus. Theoretical Computer Science, pages 125--159, 1975."},{"key":"e_1_3_2_1_21_1","first-page":"248","volume-title":"European Conference on Object-Oriented Programming","volume":"2743","author":"Sch\u00e4rli Nathanael","year":"2003","unstructured":"Nathanael Sch\u00e4rli , St\u00e9phane Ducasse , Oscar Nierstrasz , and Andrew Black . Traits : Composable units of behavior . In European Conference on Object-Oriented Programming , volume 2743 of LNCS, pages 248 -- 274 . Springer , July 2003 . Nathanael Sch\u00e4rli, St\u00e9phane Ducasse, Oscar Nierstrasz, and Andrew Black. Traits: Composable units of behavior. In European Conference on Object-Oriented Programming, volume 2743 of LNCS, pages 248--274. Springer, July 2003."}],"event":{"name":"DLS '09: Dynamic Languages Symposium","location":"Orlando Florida USA","acronym":"DLS '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 5th symposium on Dynamic languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640134.1640140","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1640134.1640140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:56Z","timestamp":1750234676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640134.1640140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,26]]},"references-count":21,"alternative-id":["10.1145\/1640134.1640140","10.1145\/1640134"],"URL":"https:\/\/doi.org\/10.1145\/1640134.1640140","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837513.1640140","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,26]]},"assertion":[{"value":"2009-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}