{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:55:50Z","timestamp":1743015350668,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030890506"},{"type":"electronic","value":"9783030890513"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89051-3_7","type":"book-chapter","created":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T09:30:38Z","timestamp":1634031038000},"page":"102-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Dictionary-Passing Translation of\u00a0Featherweight Go"],"prefix":"10.1007","author":[{"given":"Martin","family":"Sulzmann","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Wehr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11693024_6","volume-title":"Programming Languages and Systems","author":"A Ahmed","year":"2006","unstructured":"Ahmed, A.: Step-indexed syntactic logical relations for recursive and quantified types. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 69\u201383. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11693024_6"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Alpern, B., Cocchi, A., Fink, S.J., Grove, D., Lieber, D.: Efficient implementation of java interfaces: invokeinterface considered harmless. In: Proceedings of OOPSLA 2001, ACM (2001)","DOI":"10.1145\/504282.504291"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bottu, G.J., Xie, N., Marntirosian, K., Schrijvers, T.: Coherence of type class resolution. Proc. ACM Program. Lang. 3(ICFP), 1\u201328 (2019)","DOI":"10.1145\/3341695"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BFb0053029","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"C Chambers","year":"1992","unstructured":"Chambers, C.: Object-oriented multi-methods in Cecil. In: Madsen, O.L. (ed.) ECOOP 1992. LNCS, vol. 615, pp. 33\u201356. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0053029"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Driesen, K., H\u00f6lzle, U.: The direct cost of virtual function calls in C++. In: Proceedings of OOPSLA 1996, ACM (1996)","DOI":"10.1145\/236337.236369"},{"key":"7_CR6","unstructured":"Gosling, J., et al.: The Java Language Specification, Java SE 16 edn (2021). https:\/\/docs.oracle.com\/javase\/specs\/jls\/se16\/html\/index.html"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Griesemer, R., et al.: Featherweight go. Proc. ACM Program. Lang. 4(OOPSLA), 1\u201329 (2020)","DOI":"10.1145\/3428217"},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"CV Hall","year":"1996","unstructured":"Hall, C.V., Hammond, K., Peyton Jones, S.L., Wadler, P.L.: Type classes in Haskell. ACM Trans. Program. Lang. Syst. 18(2), 109\u2013132 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-319-30936-1_16","volume-title":"A List of Successes That Can Change the World","author":"S Peyton Jones","year":"2016","unstructured":"Peyton Jones, S., Weirich, S., Eisenberg, R.A., Vytiniotis, D.: A reflection on types. In: Lindley, S., McBride, C., Trinder, P., Sannella, D. (eds.) A List of Successes That Can Change the World. LNCS, vol. 9600, pp. 292\u2013317. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30936-1_16"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1017\/S0956796800001817","volume":"6","author":"K L\u00e4ufer","year":"1996","unstructured":"L\u00e4ufer, K.: Type classes with existential types. J. Funct. Prog. 6(3), 485\u2013518 (1996)","journal-title":"J. Funct. Prog."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-70592-5_12","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"D Malayeri","year":"2008","unstructured":"Malayeri, D., Aldrich, J.: Integrating nominal and structural subtyping. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 260\u2013284. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70592-5_12"},{"key":"7_CR12","unstructured":"Marlow, S.: Haskell 2010 language report (2010). https:\/\/www.haskell.org\/onlinereport\/haskell2010\/"},{"issue":"3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"JC Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Trans. Program. Lang. Syst. 10(3), 470\u2013502 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Morris, J.G.: A simple semantics for Haskell overloading. In: Proceedings of Haskell 2014, New York, ACM (2014)","DOI":"10.1145\/2633357.2633364"},{"key":"7_CR15","unstructured":"Pierce, B.: Types and Programming Languages, 1st edn. MIT Press, Cambridge (2002)"},{"key":"7_CR16","unstructured":"Plotkin, G.: Lambda-definability and logical relations. Unpublished manuscript (1973)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Reppy, J.H.: Concurrent ML: design, application and semantics. In: Functional Programming, Concurrency, Simulation and Automated Reasoning, pp. 165\u2013198. Springer, Heidelberg (1993)","DOI":"10.1007\/3-540-56883-2_10"},{"key":"7_CR18","volume-title":"Common LISP: The Language","author":"GL Steele","year":"1990","unstructured":"Steele, G.L.: Common LISP: The Language, 2nd edn. Digital Press, Amsterdam (1990)","edition":"2"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K.: System F with type equality coercions. In: Proceedings of TLDI 2007, New York, ACM (2007)","DOI":"10.1145\/1190315.1190324"},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"WW Tait","year":"1967","unstructured":"Tait, W.W.: Intensional interpretations of functionals of finite type I. J. Symb. Log. 32(2), 198\u2013212 (1967)","journal-title":"J. Symb. Log."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Thatte, S.R.: Semantics of type classes revisited. In: Proceedings of LISP 1994, pp. 208\u2013219. ACM (1994)","DOI":"10.1145\/182590.182459"},{"key":"7_CR22","unstructured":"The Go programming language (2021). https:\/\/golang.org"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-89330-1_19","volume-title":"Programming Languages and Systems","author":"P Thiemann","year":"2008","unstructured":"Thiemann, P., Wehr, S.: Interface types for Haskell. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 256\u2013272. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89330-1_19"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad hoc. In: Proceedings of POPL 1989, New York, ACM (1989)","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89051-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T09:53:09Z","timestamp":1634032389000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89051-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030890506","9783030890513"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89051-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"APLAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Programming Languages and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chicago, IL","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aplas2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/aplas-2021","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"HotCrp","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}