{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:01Z","timestamp":1763467921926,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005893"},{"type":"electronic","value":"9783642005909"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00590-9_3","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T12:05:58Z","timestamp":1238155558000},"page":"32-46","source":"Crossref","is-referenced-by-count":14,"title":["Practical Variable-Arity Polymorphism"],"prefix":"10.1007","author":[{"given":"T. Stephen","family":"Strickland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Tobin-Hochstadt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Interlanguage Migration: From Scripts to Programs. In: DLS 2006, Companion to OOPSLA, pp. 964\u2013974 (2006)","DOI":"10.1145\/1176617.1176755"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The Design and Implementation of Typed Scheme. In: POPL, pp. 395\u2013406 (2008)","DOI":"10.1145\/1328438.1328486"},{"key":"3_CR3","unstructured":"Flatt, M.: PLT MzScheme: Language Manual. Technical Report PLT-TR2008-1-v4.0.2, PLT Scheme Inc. (2008), http:\/\/www.plt-scheme.org\/techreports\/"},{"key":"3_CR4","volume-title":"The Standard ML Basis Library","author":"E.R. Gansner","year":"2002","unstructured":"Gansner, E.R., Reppy, J.H.: The Standard ML Basis Library. Cambridge University Press, New York (2002)"},{"key":"3_CR5","unstructured":"The GHC Team: The Glasgow Haskell Compiler User\u2019s Guide (2008)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for Higher-Order Functions. In: ACM SIGPLAN International Conference on Functional Programming, pp. 48\u201359 (2002)","DOI":"10.1145\/581478.581484"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/345099.345100","volume":"22","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Local Type Inference. ACM Trans. Program. Lang. Syst.\u00a022(1), 1\u201344 (2000)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Dybvig, R.K., Hieb, R.: A new approach to procedures with variable arity. Lisp and Symbolic Computation: An International Journal\u00a03(3) (1990)","DOI":"10.1007\/BF01806099"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Strickland, T.S., Tobin-Hochstadt, S., Felleisen, M.: Variable-Arity Polymorphism. Technical Report NU-CCIS-08-03, Northeastern University (2008)","DOI":"10.1007\/978-3-642-00590-9_3"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"J.Y. Girard","year":"1971","unstructured":"Girard, J.Y.: Une extension de l\u2019interpr\u00e9tation de G\u00f6del \u00e0 l\u2019analyse, et son application \u00e0 l\u2019\u00e9limination de coupures dans l\u2019analyse et la th\u00e9orie des types. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 63\u201392. North-Holland Publishing Co., Amsterdam (1971)"},{"key":"3_CR11","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)","edition":"3"},{"key":"3_CR12","first-page":"239","volume-title":"LFP 1994","author":"H. Dzeng","year":"1994","unstructured":"Dzeng, H., Haynes, C.T.: Type Reconstruction for Variable-Arity Procedures. In: LFP 1994, pp. 239\u2013249. ACM Press, New York (1994)"},{"key":"3_CR13","unstructured":"Haynes, C.T.: Infer: A Statically-typed Dialect of Scheme. Technical Report 367, Indiana University (1995)"},{"key":"3_CR14","first-page":"1101","volume-title":"SAC 2007","author":"D. Gregor","year":"2007","unstructured":"Gregor, D., J\u00e4rvi, J.: Variadic templates for C++. In: SAC 2007, pp. 1101\u20131108. ACM Press, New York (2007)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/10722010_3","volume-title":"Mathematics of Program Construction","author":"M. Tullsen","year":"2000","unstructured":"Tullsen, M.: The Zip Calculus. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 28\u201344. Springer, Heidelberg (2000)"},{"issue":"5","key":"3_CR16","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796802004355","volume":"12","author":"C. McBride","year":"2002","unstructured":"McBride, C.: Faking it: Simulating Dependent Types in Haskell. J. Funct. Program.\u00a012(5), 375\u2013392 (2002)","journal-title":"J. Funct. Program."},{"key":"3_CR17","unstructured":"Moggi, E.: Arity polymorphism and dependent types. In: APPSEM Workshop on Subtyping and Dependent Types in Programming (July 7, 2000) (invited talk)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00590-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T17:08:31Z","timestamp":1684948111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}