{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T04:56:18Z","timestamp":1773809778140,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,8]],"date-time":"2008-07-08T00:00:00Z","timestamp":1215475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0702362"],"award-info":[{"award-number":["CCF-0702362"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,8]]},"DOI":"10.1145\/1408681.1408688","type":"proceedings-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T21:44:44Z","timestamp":1220564684000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":54,"title":["Gradual typing with unification-based inference"],"prefix":"10.1145","author":[{"given":"Jeremy G.","family":"Siek","sequence":"first","affiliation":[{"name":"University of Colorado at Boulder"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manish","family":"Vachharajani","sequence":"additional","affiliation":[{"name":"University of Colorado at Boulder"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,8]]},"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","first-page":"53","volume-title":"WOOD '03","volume":"82","author":"Anderson C.","year":"2003","unstructured":"C. Anderson and S. Drossopoulou . BabyJ - from object based to class based programming via types . In WOOD '03 , volume 82 , pages 53 -- 81 . Elsevier , 2003 . C. Anderson and S. Drossopoulou. BabyJ - from object based to class based programming via types. In WOOD '03, volume 82, pages 53--81. Elsevier, 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"OOPSLA'04 Workshop on Revival of Dynamic Languages","author":"Bracha G.","year":"2004","unstructured":"G. Bracha . Pluggable type systems . In OOPSLA'04 Workshop on Revival of Dynamic Languages , 2004 . G. Bracha. Pluggable type systems. In OOPSLA'04 Workshop on Revival of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_5_1","volume-title":"2nd International Workshop on .NET Technologies","author":"Bres Y.","year":"2004","unstructured":"Y. Bres , B. P. Serpette , and M. Serrano . Compiling scheme programs to .NET common intermediate language . In 2nd International Workshop on .NET Technologies , Pilzen, Czech Republic , May 2004 . Y. Bres, B. P. Serpette, and M. Serrano. Compiling scheme programs to .NET common intermediate language. In 2nd International Workshop on .NET Technologies, Pilzen, Czech Republic, May 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_7_1","volume-title":"Department of Computer Science and Engineering","author":"C. Chambers and the Cecil Group","year":"2004","unstructured":"C. Chambers and the Cecil Group . The Cecil language: Specification and rationale. Technical report , Department of Computer Science and Engineering , University of Washington , Seattle, Washington , 2004 . C. Chambers and the Cecil Group. The Cecil language: Specification and rationale. Technical report, Department of Computer Science and Engineering, University of Washington, Seattle, Washington, 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_9_1","unstructured":"R. B. de Oliveira. The Boo programming language. http:\/\/boo.codehaus.org 2005.  R. B. de Oliveira. The Boo programming language. http:\/\/boo.codehaus.org 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Mathematical Foundations of Programming Semantics","author":"Eifrig J.","year":"1995","unstructured":"J. Eifrig , S. Smith , and V. Trifonov . Type inference for recursively constrained types and its application to OOP . In Mathematical Foundations of Programming Semantics , 1995 . J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, 1995."},{"key":"e_1_3_2_1_11_1","volume-title":"Dylan programming: an object-oriented and dynamic language","author":"Feinberg N.","year":"1997","unstructured":"N. Feinberg , S. E. Keene , R. O. Mathews , and P. T. Withington . Dylan programming: an object-oriented and dynamic language . Addison Wesley Longman Publishing Co., Inc. , Redwood City, CA, USA , 1997 . N. Feinberg, S. E. Keene, R. O. Mathews, and P. T. Withington. Dylan programming: an object-oriented and dynamic language. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258937"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/316686.316703"},{"key":"e_1_3_2_1_15_1","volume-title":"FOOL\/WOOD '06: International Workshop on Foundations and Developments of Object-Oriented Languages","author":"Flanagan C.","year":"2006","unstructured":"C. Flanagan , S. N. Freund , and A. Tomb . Hybrid types, invariants, and refinements for imperative objects . In FOOL\/WOOD '06: International Workshop on Foundations and Developments of Object-Oriented Languages , 2006 . C. Flanagan, S. N. Freund, and A. Tomb. Hybrid types, invariants, and refinements for imperative objects. In FOOL\/WOOD '06: International Workshop on Foundations and Developments of Object-Oriented Languages, 2006."},{"key":"e_1_3_2_1_16_1","volume-title":"Essentials of programming languages","author":"Friedman D. P.","year":"2008","unstructured":"D. P. Friedman , C. T. Haynes , and M. Wand . Essentials of programming languages ( 3 rd ed.). MIT Press , Cambridge, MA, USA , 2008 . D. P. Friedman, C. T. Haynes, and M. Wand. Essentials of programming languages (3rd ed.). MIT Press, Cambridge, MA, USA, 2008.","edition":"3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094830"},{"key":"e_1_3_2_1_18_1","first-page":"93","volume-title":"Scheme and Functional Programming Workshop","author":"Gronski J.","year":"2006","unstructured":"J. Gronski , K. Knowles , A. Tomb , S. N. Freund , and C. Flanagan . Sage: Hybrid checking for flexible specifications. In R. Findler, editor , Scheme and Functional Programming Workshop , pages 93 -- 104 , 2006 . J. Gronski, K. Knowles, A. Tomb, S. N. Freund, and C. Flanagan. Sage: Hybrid checking for flexible specifications. In R. Findler, editor, Scheme and Functional Programming Workshop, pages 93--104, 2006."},{"key":"e_1_3_2_1_19_1","volume-title":"Meet Peter von der Ah\u00e9, tech lead for Javac at Sun Microsystems. Sun Developer Network (SDN)","author":"Heiss J. J.","year":"2007","unstructured":"J. J. Heiss . Meet Peter von der Ah\u00e9, tech lead for Javac at Sun Microsystems. Sun Developer Network (SDN) , April 2007 . J. J. Heiss. Meet Peter von der Ah\u00e9, tech lead for Javac at Sun Microsystems. Sun Developer Network (SDN), April 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292535.1292543"},{"key":"e_1_3_2_1_21_1","volume-title":"Trends in Functional Prog. (TFP), page XXVIII","author":"Herman D.","year":"2007","unstructured":"D. Herman , A. Tomb , and C. Flanagan . Space-efficient gradual typing . In Trends in Functional Prog. (TFP), page XXVIII , April 2007 . D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. In Trends in Functional Prog. (TFP), page XXVIII, April 2007."},{"key":"e_1_3_2_1_22_1","first-page":"29","article-title":"The principal type-scheme of an object in combinatory logic","volume":"146","author":"Hindley R.","year":"1969","unstructured":"R. Hindley . The principal type-scheme of an object in combinatory logic . Trans AMS , 146 : 29 -- 60 , 1969 . R. Hindley. The principal type-scheme of an object in combinatory logic. Trans AMS, 146:29--60, 1969.","journal-title":"Trans AMS"},{"key":"e_1_3_2_1_24_1","first-page":"98","volume-title":"LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming","author":"Jr G. L. S.","year":"1982","unstructured":"G. L. S. Jr . An overview of COMMON LISP . In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming , pages 98 -- 107 , New York, NY, USA , 1982 . ACM Press. G. L. S. Jr. An overview of COMMON LISP. In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming, pages 98--107, New York, NY, USA, 1982. ACM Press."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010051815785"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/62029.62030"},{"key":"e_1_3_2_1_27_1","volume-title":"Documentation and user's manual","author":"Leroy X.","year":"2000","unstructured":"X. Leroy . The Objective Caml system : Documentation and user's manual , 2000 . With Damien Doligez, Jacques Garrigue , Didier R\u00e9my, and J\u00e9r\u00f4me Vouillon . X. Leroy. The Objective Caml system: Documentation and user's manual, 2000. With Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f4me Vouillon."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190220"},{"key":"e_1_3_2_1_29_1","volume-title":"OOPSLA'04 Workshop on Revival of Dynamic Languages","author":"Meijer E.","year":"2004","unstructured":"E. Meijer and P. Drayton . Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages . In OOPSLA'04 Workshop on Revival of Dynamic Languages , 2004 . E. Meijer and P. Drayton. Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In OOPSLA'04 Workshop on Revival of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_31_1","volume-title":"The definition of Standard ML","author":"Milner R.","year":"1990","unstructured":"R. Milner , M. Tofte , and R. Harper . The definition of Standard ML . MIT Press , Cambridge, MA, USA , 1990 . R. Milner, M. Tofte, and R. Harper. The definition of Standard ML. MIT Press, Cambridge, MA, USA, 1990."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006277616879"},{"key":"e_1_3_2_1_34_1","volume-title":"3rd IFIP International Conference on Theoretical Computer Science","author":"Ou X.","year":"2004","unstructured":"X. Ou , G. Tan , Y. Mandelbaum , and D. Walker . Dynamic typing with dependent types (extended abstract) . In 3rd IFIP International Conference on Theoretical Computer Science , August 2004 . X. Ou, G. Tan, Y. Mandelbaum, and D. Walker. Dynamic typing with dependent types (extended abstract). In 3rd IFIP International Conference on Theoretical Computer Science, August 2004."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/800113.803646"},{"key":"e_1_3_2_1_36_1","volume-title":"December","author":"Jones S. Peyton","year":"2002","unstructured":"S. Peyton Jones . Haskell 98 Language and Libraries: The Revised Report , December 2002 . S. Peyton Jones. Haskell 98 Language and Libraries: The Revised Report, December 2002."},{"key":"e_1_3_2_1_37_1","volume-title":"MIT Press","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , Cambridge, MA, USA , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, Cambridge, MA, USA, 2002."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289448"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2963"},{"key":"e_1_3_2_1_41_1","first-page":"513","volume-title":"Information Processing 83","author":"Reynolds J. C.","year":"1983","unstructured":"J. C. Reynolds . Types , abstraction and parametric polymorphism . In R. E. A. Mason, editor, Information Processing 83 , pages 513 -- 523 , Amsterdam, 1983 . Elsevier Science Publishers B. V. (North-Holland) . J. C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513--523, Amsterdam, 1983. Elsevier Science Publishers B. V. (North-Holland)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292551"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_44_1","volume-title":"Inria-Rocquencourt","author":"Serrano M.","year":"2002","unstructured":"M. Serrano . Bigloo : a practical Scheme compiler . Inria-Rocquencourt , April 2002 . M. Serrano. Bigloo: a practical Scheme compiler. Inria-Rocquencourt, April 2002."},{"key":"e_1_3_2_1_45_1","volume-title":"The Dylan reference manual: the definitive guide to the new object-oriented dynamic language","author":"Shalit A.","year":"1996","unstructured":"A. Shalit . The Dylan reference manual: the definitive guide to the new object-oriented dynamic language . Addison Wesley Longman Publishing Co., Inc. , Redwood City, CA, USA , 1996 . A. Shalit. The Dylan reference manual: the definitive guide to the new object-oriented dynamic language. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 1996."},{"key":"e_1_3_2_1_47_1","first-page":"81","volume-title":"Scheme and Functional Programming Workshop","author":"Siek J. G.","year":"2006","unstructured":"J. G. Siek and W. Taha . Gradual typing for functional languages . In Scheme and Functional Programming Workshop , pages 81 -- 92 , September 2006 . J. G. Siek and W. Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, pages 81--92, September 2006."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/321879.321884"},{"key":"e_1_3_2_1_50_1","first-page":"367","volume-title":"POPL","author":"Thatte S.","year":"1990","unstructured":"S. Thatte . Quasi-static typing . In POPL 1990 , pages 367 -- 381 , New York, NY , USA, 1990. ACM Press . S. Thatte. Quasi-static typing. In POPL 1990, pages 367--381, New York, NY, USA, 1990. ACM Press."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_53_1","unstructured":"G. van Rossum. Python Reference Manual. Python Software Foundation http:\/\/docs.python.org\/ref\/ref.html 2.5 edition September 2006.  G. van Rossum. Python Reference Manual . Python Software Foundation http:\/\/docs.python.org\/ref\/ref.html 2.5 edition September 2006."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1145\/99370.99404","volume-title":"Theorems for free! In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture","author":"Wadler P.","year":"1989","unstructured":"P. Wadler . Theorems for free! In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture , pages 347 -- 359 , New York, NY , USA, 1989 . ACM. P. Wadler. Theorems for free! In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture, pages 347--359, New York, NY, USA, 1989. ACM."},{"key":"e_1_3_2_1_55_1","first-page":"15","volume-title":"Workshop on Scheme and Functional Programming","author":"Wadler P.","year":"2007","unstructured":"P. Wadler and R. B. Findler . Well-typed programs can't be blamed. In D. Dube, editor , Workshop on Scheme and Functional Programming , pages 15 -- 26 , 2007 . P. Wadler and R. B. Findler. Well-typed programs can't be blamed. In D. Dube, editor, Workshop on Scheme and Functional Programming, pages 15--26, 2007."},{"key":"e_1_3_2_1_56_1","volume-title":"Microsoft Developer Network","author":"Wagner B.","year":"2007","unstructured":"B. Wagner . Local type inference, anonymous types, and var . Microsoft Developer Network , 2007 . B. Wagner. Local type inference, anonymous types, and var. Microsoft Developer Network, 2007."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3233\/FI-1987-10202","article-title":"A simple algorithm and proof for type inference","volume":"10","author":"Wand M.","year":"1987","unstructured":"M. Wand . A simple algorithm and proof for type inference . Fundamenta Informatica , 10 : 115 -- 122 , 1987 . M. Wand. A simple algorithm and proof for type inference. Fundamenta Informatica, 10:115--122, 1987.","journal-title":"Fundamenta Informatica"}],"event":{"name":"DLS '08: Dynamic Languages Symposium 2008","location":"Paphos Cyprus","acronym":"DLS '08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2008 symposium on Dynamic languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1408681.1408688","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1408681.1408688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:44Z","timestamp":1750255064000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1408681.1408688"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,8]]},"references-count":54,"alternative-id":["10.1145\/1408681.1408688","10.1145\/1408681"],"URL":"https:\/\/doi.org\/10.1145\/1408681.1408688","relation":{},"subject":[],"published":{"date-parts":[[2008,7,8]]},"assertion":[{"value":"2008-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}