{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:37Z","timestamp":1772163997837,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"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":[[2008,10,19]]},"DOI":"10.1145\/1449764.1449800","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T08:25:44Z","timestamp":1224663944000},"page":"457-474","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Constrained types for object-oriented languages"],"prefix":"10.1145","author":[{"given":"Nathaniel","family":"Nystrom","sequence":"first","affiliation":[{"name":"IBM Research, Yorktown Heights, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[{"name":"IBM Research, Yorktown Heights, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[{"name":"UCLA, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Grothoff","sequence":"additional","affiliation":[{"name":"University of Denver, Denver, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177847"},{"key":"e_1_3_2_1_3_1","unstructured":"Thorsten Altenkirch Conor McBride and James McKinna. Why dependent types matter. http:\/\/www.e-pig.org\/downloads\/ydtm.pdf April 2005.  Thorsten Altenkirch Conor McBride and James McKinna. Why dependent types matter. http:\/\/www.e-pig.org\/downloads\/ydtm.pdf April 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167479"},{"key":"e_1_3_2_1_5_1","unstructured":"David Aspinall and Martin Hofmann. Dependent Types chapter 2. In Pierce {52} 2004.  David Aspinall and Martin Hofmann. Dependent Types chapter 2. In Pierce {52} 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289451"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/978-3-540-27813-9_49","volume-title":"Proceedings of the $16^th$ International Conference on Computer Aided Verification (CAV '04)","author":"Barrett Clark","year":"2004","unstructured":"Clark Barrett and Sergey Berezin . CVC Lite: A new implementation of the cooperating validity checker . In Rajeev Alur and Doron A. Peled, editors, Proceedings of the $16^th$ International Conference on Computer Aided Verification (CAV '04) , volume 3114 of Lecture Notes in Computer Science , pages 515 -- 518 . Springer-Verlag , July 2004 . Boston, Massachusetts. Clark Barrett and Sergey Berezin. CVC Lite: A new implementation of the cooperating validity checker. In Rajeev Alur and Doron A. Peled, editors, Proceedings of the $16^th$ International Conference on Computer Aided Verification (CAV '04), volume 3114 of Lecture Notes in Computer Science, pages 515--518. Springer-Verlag, July 2004. Boston, Massachusetts."},{"key":"e_1_3_2_1_8_1","unstructured":"Clark Barrett Cesare Tinelli Alexander Fuchs Yeting Ge George Hagen and Dejan Jovanovic. CVC3. http:\/\/www.cs.nyu.edu\/acsys\/cvc3.  Clark Barrett Cesare Tinelli Alexander Fuchs Yeting Ge George Hagen and Dejan Jovanovic. CVC3. http:\/\/www.cs.nyu.edu\/acsys\/cvc3."},{"key":"e_1_3_2_1_9_1","volume-title":"OOPSLA'04 Workshop on Revival of Dynamic Languages","author":"Bracha Gilad","year":"2004","unstructured":"Gilad Bracha . Pluggable type systems . In OOPSLA'04 Workshop on Revival of Dynamic Languages , October 2004 . Gilad Bracha. Pluggable type systems. In OOPSLA'04 Workshop on Revival of Dynamic Languages, October 2004."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the IEEE International Workshop on Productivity and Performance in High-End Computing","author":"Chamberlain Bradford L.","year":"2004","unstructured":"Bradford L. Chamberlain , Sung-Eun Choi , Steven J. Deitz , and Lawrence Snyder . The high-level parallel language ZPL improves productivity and performance . In Proceedings of the IEEE International Workshop on Productivity and Performance in High-End Computing , 2004 . Bradford L. Chamberlain, Sung-Eun Choi, Steven J. Deitz, and Lawrence Snyder. The high-level parallel language ZPL improves productivity and performance. In Proceedings of the IEEE International Workshop on Productivity and Performance in High-End Computing, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646151.679360"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065022"},{"key":"e_1_3_2_1_13_1","unstructured":"Stephen Chong Andrew C. Myers K. Vikram and Lantian Zheng. Jif reference manual Jif 3.0.0 version. http:\/\/www.cs.cornell.edu\/jif June 2006.  Stephen Chong Andrew C. Myers K. Vikram and Lantian Zheng. Jif reference manual Jif 3.0.0 version. http:\/\/www.cs.cornell.edu\/jif June 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218578"},{"key":"e_1_3_2_1_15_1","unstructured":"The Coq proof assistant: Reference manual version 8.1. http:\/\/coq.inria.fr\/ 2006.  The Coq proof assistant: Reference manual version 8.1. http:\/\/coq.inria.fr\/ 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90005-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111062"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_20_1","volume-title":"International Workshop on Foundations of Object-Oriented Programming (FOOL)","author":"Flanagan Cormac","year":"2006","unstructured":"Cormac Flanagan , Stephen N. Freund , and Aaron Tomb . Hybrid types, invariants, and refinements for imperative objects . In International Workshop on Foundations of Object-Oriented Programming (FOOL) , 2006 . Cormac Flanagan, Stephen N. Freund, and Aaron Tomb. Hybrid types, invariants, and refinements for imperative objects. In International Workshop on Foundations of Object-Oriented Programming (FOOL), 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244400"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297038"},{"key":"e_1_3_2_1_26_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2006","unstructured":"J. Gosling , W. Joy , G. Steele , and G. Bracha . The Java Language Specification , Third Edition. Addison Wesley , 2006 . J. Gosling, W. Joy, G. Steele, and G. Bracha. The Java Language Specification, Third Edition. Addison Wesley, 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.240882"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11590156_42"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663086","volume-title":"Qualified Types: Theory and Practice","author":"Jones Mark P.","year":"1994","unstructured":"Mark P. Jones . Qualified Types: Theory and Practice . Cambridge University Press , 1994 . Mark P. Jones. Qualified Types: Theory and Practice. Cambridge University Press, 1994."},{"key":"e_1_3_2_1_33_1","unstructured":"JSR 308: Annotations on Java types. http:\/\/jcp.org\/en\/jsr\/detail?id=308.  JSR 308: Annotations on Java types. http:\/\/jcp.org\/en\/jsr\/detail?id=308."},{"key":"e_1_3_2_1_34_1","unstructured":"Xavier Leroy et al. The Objective Caml system. http:\/\/caml.inria.fr\/ocaml\/.  Xavier Leroy et al. The Objective Caml system. http:\/\/caml.inria.fr\/ocaml\/."},{"key":"e_1_3_2_1_35_1","volume-title":"Object Oriented Programming in the BETA Programming Language","author":"Madsen O. Lehrmann","year":"1993","unstructured":"O. Lehrmann Madsen , B. M\u00f8ller-Pedersen , and K. Nygaard . Object Oriented Programming in the BETA Programming Language . Addison-Wesley , June 1993 . O. Lehrmann Madsen, B. M\u00f8ller-Pedersen, and K. Nygaard. Object Oriented Programming in the BETA Programming Language. Addison-Wesley, June 1993."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74919"},{"key":"e_1_3_2_1_37_1","volume-title":"A Theory of Types","author":"Martin-L\u00f6f Per","year":"1971","unstructured":"Per Martin-L\u00f6f . A Theory of Types . 1971 . Per Martin-L\u00f6f. A Theory of Types. 1971."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004829"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029006"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800529"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/130665"},{"key":"e_1_3_2_1_44_1","first-page":"138","volume-title":"12th International Conference, CC 2003, number 2622 in LNCS","author":"Nystrom Nathaniel","year":"2003","unstructured":"Nathaniel Nystrom , Michael R. Clarkson , and Andrew C. Myers . Polyglot: An extensible compiler framework for Java. In G\u00f6rel Hedin, editor, Compiler Construction , 12th International Conference, CC 2003, number 2622 in LNCS , pages 138 -- 152 . Springer-Verlag , April 2003 . Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers. Polyglot: An extensible compiler framework for Java. In G\u00f6rel Hedin, editor, Compiler Construction, 12th International Conference, CC 2003, number 2622 in LNCS, pages 138--152. Springer-Verlag, April 2003."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167476"},{"key":"e_1_3_2_1_47_1","volume-title":"EPFL","author":"Odersky Martin","year":"2006","unstructured":"Martin Odersky . Report on the programming language Scala. Technical report , EPFL , 2006 . Martin Odersky. Report on the programming language Scala. Technical report, EPFL, 2006."},{"key":"e_1_3_2_1_48_1","volume-title":"June","author":"Odersky Martin","year":"2004","unstructured":"Martin Odersky , Philippe Altherr , Vincent Cremet , Burak Emir , Sebastian Maneth , St\u00e9phane Micheloud , Nikolay Mihaylov , Michel Schinz , Erik Stenman , and Matthias Zenger . An overview of the Scala programming language , June 2004 . http:\/\/scala.epfl.ch\/docu\/files\/ScalaOverview.pdf. Martin Odersky, Philippe Altherr, Vincent Cremet, Burak Emir, Sebastian Maneth, St\u00e9phane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, and Matthias Zenger. An overview of the Scala programming language, June 2004. http:\/\/scala.epfl.ch\/docu\/files\/ScalaOverview.pdf."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_10"},{"key":"e_1_3_2_1_50_1","volume-title":"8th Workshop on Foundations of Object-Oriented Languages (FOOL)","author":"Odersky Martin","year":"2001","unstructured":"Martin Odersky and Christoph Zenger . Nested types . In 8th Workshop on Foundations of Object-Oriented Languages (FOOL) , 2001 . Martin Odersky and Christoph Zenger. Nested types. In 8th Workshop on Foundations of Object-Oriented Languages (FOOL), 2001."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094815"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1076265"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232642"},{"key":"e_1_3_2_1_54_1","first-page":"866","volume-title":"Numerical Recipes in FORTRAN: The Art of Scientific Computing","author":"Press W. H.","year":"1992","unstructured":"W. H. Press , B. P. Flannery , S. A. Teukolsky , and W. T. Vetterling . Numerical Recipes in FORTRAN: The Art of Scientific Computing , pages 866 -- 869 . Cambridge University Press , 1992 . Successive overrelaxation (SOR). W. H. Press, B. P. Flannery, S. A. Teukolsky, and W. T. Vetterling. Numerical Recipes in FORTRAN: The Art of Scientific Computing, pages 866--869. Cambridge University Press, 1992. Successive overrelaxation (SOR)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/21855.21861"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185546"},{"key":"e_1_3_2_1_58_1","volume-title":"The X10 language specification. Technical report","author":"Vijay Saraswat","year":"2006","unstructured":"Vijay Saraswat et al. The X10 language specification. Technical report , IBM T.J. Watson Research Center , 2006 . Vijay Saraswat et al. The X10 language specification. Technical report, IBM T.J. Watson Research Center, 2006."},{"key":"e_1_3_2_1_59_1","volume-title":"Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL 4)","author":"Sulzmann Martin","year":"1997","unstructured":"Martin Sulzmann , Martin Odersky , and Martin Wehr . Type inference with constrained types . In Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL 4) , 1997 . Martin Sulzmann, Martin Odersky, and Martin Wehr. Type inference with constrained types. In Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL 4), 1997."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006569"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/647165.717846"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277732"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"}],"event":{"name":"OOPSLA08: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications","location":"Nashville TN USA","acronym":"OOPSLA08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449764.1449800","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1449764.1449800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:15Z","timestamp":1750240575000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449764.1449800"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":60,"alternative-id":["10.1145\/1449764.1449800","10.1145\/1449764"],"URL":"https:\/\/doi.org\/10.1145\/1449764.1449800","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1449955.1449800","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}