{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:09Z","timestamp":1772163969910,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159816","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"99-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["The missing link"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Rossberg","sequence":"first","affiliation":[{"name":"Universit\u00e4t des Saarlandes"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","unstructured":"Alice Team. The Alice System. Programming System Lab Universit\u00e4t des Saarlandes http:\/\/www.ps.un-sb.de\/alice\/ 2003.]]  Alice Team. The Alice System. Programming System Lab Universit\u00e4t des Saarlandes http:\/\/www.ps.un-sb.de\/alice\/ 2003.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004257"},{"key":"e_1_3_2_1_4_1","volume-title":"The Java Programming Language","author":"Arnold K.","year":"1996","unstructured":"K. Arnold and J. Gosling . The Java Programming Language . Addison-Wesley , 1996 .]] K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, 1996.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90151-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944715"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325518"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735"},{"key":"e_1_3_2_1_9_1","volume-title":"Understanding and Evolving the ML Module System. Phd thesis","author":"Dreyer D.","year":"2005","unstructured":"D. Dreyer . Understanding and Evolving the ML Module System. Phd thesis , Carnegie Mellon University , 2005 .]] D. Dreyer. Understanding and Evolving the ML Module System. Phd thesis, Carnegie Mellon University, 2005.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604151"},{"key":"e_1_3_2_1_11_1","volume-title":"Universit\u00e4t des Saarlandes","author":"Duchier D.","year":"1998","unstructured":"D. Duchier , L. Kornstaedt , C. Schulte , and G. Smolka . A higher-order module discipline with separate compilation, dynamic linking, and pickling. Technical report , Universit\u00e4t des Saarlandes , 1998 .]] D. Duchier, L. Kornstaedt, C. Schulte, and G. Smolka. A higher-order module discipline with separate compilation, dynamic linking, and pickling. Technical report, Universit\u00e4t des Saarlandes, 1998.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277730"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1106784"},{"key":"e_1_3_2_1_14_1","volume-title":"The Java Programming Language Specification","author":"Gosling J.","year":"1996","unstructured":"J. Gosling , B. Joy , and G. Steele . The Java Programming Language Specification . Addison-Wesley , 1996 .]] J. Gosling, B. Joy, and G. Steele. The Java Programming Language Specification. Addison-Wesley, 1996.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_17_1","volume-title":"The Java Virtual Machine Specification","author":"Lindholm T.","year":"1996","unstructured":"T. Lindholm and F. Yellin . The Java Virtual Machine Specification . Addison-Wesley , 1996 .]] T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802036"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"Milner R.","year":"1997","unstructured":"R. Milner , M. Tofte , R. Harper , and D. MacQueen . The Definition of Standard ML (Revised) . The MIT Press , 1997 .]] R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.016"},{"key":"e_1_3_2_1_22_1","volume-title":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","author":"Odersky M.","year":"2005","unstructured":"M. Odersky . Programming in Scala . \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne , 2005 .]] M. Odersky. Programming in Scala. \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, 2005.]]"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","volume-title":"First class file I\/O","author":"Pil M.","year":"1996","unstructured":"M. Pil . First class file I\/O . volume 1268 of Lecture Notes in Computer Science . Springer-Verlag , 1996 .]] M. Pil. First class file I\/O. volume 1268 of Lecture Notes in Computer Science. Springer-Verlag, 1996.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"Information Processing. North Holland","author":"Reynolds J.","year":"1983","unstructured":"J. Reynolds . Types, abstraction and parametric polymorphism . In Information Processing. North Holland , 1983 .]] J. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing. North Holland, 1983.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888274"},{"key":"e_1_3_2_1_26_1","volume-title":"Universit\u00e4t des Saarlandes","author":"Rossberg A.","year":"2005","unstructured":"A. Rossberg . The definition of Standard ML with packages. Technical report , Universit\u00e4t des Saarlandes , 2005 . www. ps.uni-sb.de\/Papers.]] A. Rossberg. The definition of Standard ML with packages. Technical report, Universit\u00e4t des Saarlandes, 2005. www. ps.uni-sb.de\/Papers.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Universit\u00e4t des Saarlandes","author":"Rossberg A.","year":"2006","unstructured":"A. Rossberg . The Missing Link - Dynamic Components for ML (extended). Technical report , Universit\u00e4t des Saarlandes , 2006 .]] A. Rossberg. The Missing Link - Dynamic Components for ML (extended). Technical report, Universit\u00e4t des Saarlandes, 2006.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"Trends in Functional Programming","volume":"5","author":"Rossberg A.","year":"2006","unstructured":"A. Rossberg , D. Le Botlan , G. Tack , T. Brunklaus , and G. Smolka . Alice ML through the looking glass . In Trends in Functional Programming , volume 5 . Intellect , 2006 .]] A. Rossberg, D. Le Botlan, G. Tack, T. Brunklaus, and G. Smolka. Alice ML through the looking glass. In Trends in Functional Programming, volume 5. Intellect, 2006.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651915"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086370"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/646661.699080"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703703"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:37Z","timestamp":1693843417000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159816"}},"subtitle":["dynamic components for ML"],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":33,"alternative-id":["10.1145\/1159803.1159816","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159816","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159816","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}