{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:35Z","timestamp":1750307135581,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T00:00:00Z","timestamp":1314144000000},"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":[[2011,8,24]]},"DOI":"10.1145\/2093157.2093171","type":"proceedings-article","created":{"date-parts":[[2012,1,10]],"date-time":"2012-01-10T17:02:17Z","timestamp":1326214937000},"page":"91-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Well-typings for Java\n            <sub>\u03bb<\/sub>"],"prefix":"10.1145","author":[{"given":"Martin","family":"Pl\u00fcmicke","sequence":"first","affiliation":[{"name":"Baden-Wuerttemberg Cooperative State University Stuttgart, Florianstra\u00dfe, Horb"}]}],"member":"320","published-online":{"date-parts":[[2011,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Project lambda: Java language specification draft. http:\/\/mail.openjdk.java.net\/pipermail\/lambda-dev\/attachments\/20100212\/af8d2cc5\/attachment-0001.txt 2010. Version 0.1.5.  Project lambda: Java language specification draft. http:\/\/mail.openjdk.java.net\/pipermail\/lambda-dev\/attachments\/20100212\/af8d2cc5\/attachment-0001.txt 2010. Version 0.1.5."},{"key":"e_1_3_2_1_2_1","unstructured":"G. Bracha N. Gafter J. Gosling and P. von der Ah\u00e9. Closures for the java programming language (aka BGGA). http:\/\/www.javac.info.  G. Bracha N. Gafter J. Gosling and P. von der Ah\u00e9. Closures for the java programming language (aka BGGA). http:\/\/www.javac.info."},{"key":"e_1_3_2_1_3_1","unstructured":"S. Colebourne and S. Schulz. First-class methods: Java-style closures (aka FCM). http:\/\/docs.google.com\/Doc?id=ddhp95vd_6hg3qhc.  S. Colebourne and S. Schulz. First-class methods: Java-style closures (aka FCM). http:\/\/docs.google.com\/Doc?id=ddhp95vd_6hg3qhc."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/645387.651545"},{"key":"e_1_3_2_1_6_1","unstructured":"B. Goetz. State of the lambda. http:\/\/cr.openjdk.java.net\/~Briangoetz\/lambda\/lambda-state-3.html.  B. Goetz. State of the lambda. http:\/\/cr.openjdk.java.net\/~Briangoetz\/lambda\/lambda-state-3.html."},{"key":"e_1_3_2_1_7_1","unstructured":"J. Gosling B. Joy G. Steele and G. Bracha. The Java#8482; Language Specification. The Java series. Addison-Wesley 3rd edition 2005.   J. Gosling B. Joy G. Steele and G. Bracha. The Java#8482; Language Specification . The Java series. Addison-Wesley 3rd edition 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"R. Hindley. The principle type scheme of an object in combinatory logic. Trans. Am. Math. Soc. 146 pages 29--60 December 1969.  R. Hindley. The principle type scheme of an object in combinatory logic. Trans. Am. Math. Soc. 146 pages 29--60 December 1969.","DOI":"10.1090\/S0002-9947-1969-0253905-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Kaes\n    .\n      \n  \n   \n  Parametric overloading in polymorphic programming languages. In H. Ganzinger editor Proceedings 2nd European Symposium on Programming (ESOP '88) volume \n  300\n   of \n  Lecture Notes in Computer Science pages \n  131\n  --\n  144 Nancy France Mar\n  . \n  1988\n  . \n  Springer-Verlag\n  .   S. Kaes. Parametric overloading in polymorphic programming languages. In H. Ganzinger editor Proceedings 2nd European Symposium on Programming (ESOP '88) volume 300 of Lecture Notes in Computer Science pages 131--144 Nancy France Mar. 1988. Springer-Verlag.","DOI":"10.1007\/3-540-19027-9_9"},{"key":"e_1_3_2_1_10_1","unstructured":"B. Lee D. Lea and J. Bloch. Concise instance creation expressions: Closures without complexity (aka CICE). http:\/\/docs.google.com\/Doc.aspx?id=k73_1ggr36h.  B. Lee D. Lea and J. Bloch. Concise instance creation expressions: Closures without complexity (aka CICE). http:\/\/docs.google.com\/Doc.aspx?id=k73_1ggr36h."},{"key":"e_1_3_2_1_11_1","unstructured":"S. Marlow editor. Haskell 2010 Language Report. http:\/\/www.haskell.org 2010.  S. Marlow editor. Haskell 2010 Language Report . http:\/\/www.haskell.org 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357169"},{"volume-title":"Mass.","year":"1997","author":"Milner R.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_15_1","unstructured":"M. Odersky. The Scala language specication version 2.8 November 2010. Draft.  M. Odersky. The Scala language specication version 2.8 November 2010. Draft."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360207"},{"key":"e_1_3_2_1_18_1","unstructured":"M. Odersky P. Altherr V. Cremet I. D. G. Dubochet B. Emir S. McDirmid S. Micheloud N. Mihaylov M. Schinz E. Stenman L. Spoon and M. Zenger. An overview of the scala programming language. Technical report \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL) 2006. LAMP-REPORT-2006-001.  M. Odersky P. Altherr V. Cremet I. D. G. Dubochet B. Emir S. McDirmid S. Micheloud N. Mihaylov M. Schinz E. Stenman L. Spoon and M. Zenger. An overview of the scala programming language. Technical report \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL) 2006. LAMP-REPORT-2006-001."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294336"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00675-3_15"},{"key":"e_1_3_2_1_22_1","unstructured":"J. Skeet. C# in Depth. Manning Publications Co. second edition 2010.  J. Skeet. C# in Depth . Manning Publications Co. second edition 2010."}],"event":{"name":"PPPJ '11: Principles and Practice of Programming in Java","sponsor":["DTU Technical University of Denmark","ORACLE ORACLE","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Kongens Lyngby Denmark","acronym":"PPPJ '11"},"container-title":["Proceedings of the 9th International Conference on Principles and Practice of Programming in Java"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2093157.2093171","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2093157.2093171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:45Z","timestamp":1750240125000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2093157.2093171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,24]]},"references-count":22,"alternative-id":["10.1145\/2093157.2093171","10.1145\/2093157"],"URL":"https:\/\/doi.org\/10.1145\/2093157.2093171","relation":{},"subject":[],"published":{"date-parts":[[2011,8,24]]},"assertion":[{"value":"2011-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}