{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:31Z","timestamp":1750308031854,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:00:00Z","timestamp":1188777600000},"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":[[2007,9,3]]},"DOI":"10.1145\/1294917.1294920","type":"proceedings-article","created":{"date-parts":[[2007,10,15]],"date-time":"2007-10-15T12:45:05Z","timestamp":1192452305000},"page":"23-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A type-level approach to component prototyping"],"prefix":"10.1145","author":[{"given":"Lu\u00eds","family":"Barbosa","sequence":"first","affiliation":[{"name":"Univ. do Minho, Portugal"}]},{"given":"J\u00e1come","family":"Cunha","sequence":"additional","affiliation":[{"name":"Univ. do Minho, Portugal"}]},{"given":"Joost","family":"Visser","sequence":"additional","affiliation":[{"name":"Software Improvement Group, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2007,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"51","article-title":"Crossing the Rubicon: from Haskell to .NET through COM","volume":"63","author":"Alarcon B.","year":"2005","journal-title":"ERCIM News"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39656-7_2"},{"issue":"8","key":"e_1_3_2_1_3_1","first-page":"891","article-title":"Towards a Calculus of State-based Software Components","volume":"9","author":"Barbosa L. S.","year":"2003","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_2"},{"key":"e_1_3_2_1_5_1","volume-title":"CMCS'03","volume":"82","author":"Barbosa L. S.","year":"2003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.030"},{"issue":"7","key":"e_1_3_2_1_7_1","first-page":"808","volume":"10","author":"Barbosa M. A.","year":"2004","journal-title":"Journal of Universal Computer Science"},{"issue":"7","key":"e_1_3_2_1_8_1","first-page":"1234","article-title":"mHaskell: Mobile computation in a purely functional language","volume":"11","author":"Bois A.","year":"2005","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_9_1","unstructured":"K. Brockschmidt. Inside OLE (2nd ed.). Microsoft Press Redmond WA USA 1995. K. Brockschmidt. Inside OLE (2nd ed.) . Microsoft Press Redmond WA USA 1995."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838317"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/129630.129635"},{"volume-title":"Wrox Press","year":"1997","author":"Grimes R.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","first-page":"135","volume-title":"Proc. of the Joint CS\/CE Winter Meeting","author":"Hallgren T.","year":"2001"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004367"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647698.734150"},{"key":"e_1_3_2_1_16_1","unstructured":"S. L. P. Jones. Haskell 98: Language and libraries. J. Funct. Program. 13(1):1--255 2003. S. L. P. Jones. Haskell 98: Language and libraries. J. Funct. Program. 13(1):1--255 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_18_1","unstructured":"O. Kiselyov and R. L\u00e4mmel. Haskell's overlooked object system. Draft of 10 September 2005 2005. O. Kiselyov and R. L\u00e4mmel. Haskell's overlooked object system. Draft of 10 September 2005 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017481"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304852"},{"key":"e_1_3_2_1_22_1","first-page":"268","volume-title":"Third International Summer School on Advanced Functional Programming, Braga","author":"Leijen D.","year":"1998"},{"volume-title":"Addison-Wesley","year":"2000","author":"Matena V.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004355"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.072"},{"volume-title":"Series in Computer Science. Prentice-Hall International","year":"1989","author":"Milner R.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39656-7_14"},{"key":"e_1_3_2_1_29_1","first-page":"3","volume-title":"Object-Oriented Software Composition","author":"Nierstrasz O.","year":"1995"},{"key":"e_1_3_2_1_30_1","unstructured":"S. Oaks and H. Wong. Jini in a Nutshell. O'Reilly and Associates 2000. S. Oaks and H. Wong. Jini in a Nutshell . O'Reilly and Associates 2000."},{"key":"e_1_3_2_1_31_1","first-page":"329","volume-title":"Advances in Computers -- The Engineering of Large Systems","author":"Papadopoulos G.","year":"1998"},{"key":"e_1_3_2_1_32_1","first-page":"339","volume-title":"Information Distribution Aspects of Design Methodology. In Information Processing '72","author":"Parnas D.","year":"1972"},{"volume-title":"Fifth International Conference on Software Reuse (ICSR'98)","year":"1998","author":"Jones S. Peyton","key":"e_1_3_2_1_33_1"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"volume-title":"Springer-Verlag","year":"1999","author":"Schneider J.-G.","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","unstructured":"R. Siegel. CORBA: Fundamentals and Programming. John Wiley & Sons Inc 1997. R. Siegel. CORBA: Fundamentals and Programming . John Wiley & Sons Inc 1997."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159846"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"C. Szyperski. Component Software Beyond Object-Oriented Programming. Addison-Wesley 1998. C. Szyperski. Component Software Beyond Object-Oriented Programming . Addison-Wesley 1998.","DOI":"10.1007\/3-540-46589-8_10"},{"key":"e_1_3_2_1_39_1","unstructured":"P. Wadler and K. Weihe. Component-Based Programming Under Different Paradigms. Technical report Dagstuhl Seminar 99081 February 1999. P. Wadler and K. Weihe. Component-Based Programming Under Different Paradigms. Technical report Dagstuhl Seminar 99081 February 1999."}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","CEPIS The Council of European Professional Informatics Societies"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC\/FSE joint meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294917.1294920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1294917.1294920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:06Z","timestamp":1750259646000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294917.1294920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,3]]},"references-count":39,"alternative-id":["10.1145\/1294917.1294920","10.1145\/1294917"],"URL":"https:\/\/doi.org\/10.1145\/1294917.1294920","relation":{},"subject":[],"published":{"date-parts":[[2007,9,3]]},"assertion":[{"value":"2007-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}