{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:14:09Z","timestamp":1760044449064,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T00:00:00Z","timestamp":1506470400000},"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":[[2017,9,27]]},"DOI":"10.1145\/3132190.3132203","type":"proceedings-article","created":{"date-parts":[[2017,9,15]],"date-time":"2017-09-15T12:21:06Z","timestamp":1505478066000},"page":"23-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Introducing Scala-like function types into Java-TX"],"prefix":"10.1145","author":[{"given":"Martin","family":"Pl\u00fcmicke","sequence":"first","affiliation":[{"name":"Cooperative State University Baden-W\u00fcrttemberg, Horb, Baden-W\u00fcrttemberg"}]},{"given":"Andreas","family":"Stadelmeier","sequence":"additional","affiliation":[{"name":"Cooperative State University Baden-W\u00fcrttemberg, Horb, Baden-W\u00fcrttemberg"}]}],"member":"320","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"volume-title":"The lambda calculus: Its syntax and semantics. North-Holland","author":"Barendregt Hendrik P.","key":"e_1_3_2_1_1_1","unstructured":"Hendrik P. Barendregt . 1984. The lambda calculus: Its syntax and semantics. North-Holland , Amsterdam . Hendrik P. Barendregt. 1984. The lambda calculus: Its syntax and semantics. North-Holland, Amsterdam."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/download.microsoft.com\/download\/0\/B\/D\/0BDA894F-2CCD-4C2C-B5A7-4EB1171962E5\/CSharp%20Language%20Specification.docx","author":"Language Specification","year":"2012","unstructured":"C# 2012. C# Language Specification Version 5.0. ( 2012 ). https:\/\/download.microsoft.com\/download\/0\/B\/D\/0BDA894F-2CCD-4C2C-B5A7-4EB1171962E5\/CSharp%20Language%20Specification.docx C# 2012. C# Language Specification Version 5.0. (2012). https:\/\/download.microsoft.com\/download\/0\/B\/D\/0BDA894F-2CCD-4C2C-B5A7-4EB1171962E5\/CSharp%20Language%20Specification.docx"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_4_1","volume-title":"State of the Lambda. (September","author":"Goetz Brian","year":"2013","unstructured":"Brian Goetz . 2013. State of the Lambda. (September 2013 ). http:\/\/cr.openjdk.java.net\/~briangoetz\/lambda\/lambda- state- final.html Brian Goetz. 2013. State of the Lambda. (September 2013). http:\/\/cr.openjdk.java.net\/~briangoetz\/lambda\/lambda- state- final.html"},{"key":"e_1_3_2_1_5_1","volume-title":"The Java\u2122 Language Specification","author":"Gosling James","unstructured":"James Gosling , Bill Joy , Guy Steele , and Gilad Bracha . 2005. The Java\u2122 Language Specification ( 3 rd ed.). Addison-Wesley . James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. 2005. The Java\u2122 Language Specification (3rd ed.). Addison-Wesley.","edition":"3"},{"key":"e_1_3_2_1_6_1","unstructured":"James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Language Specification (Java SE 8 ed.).   James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2015. The Java\u00ae Language Specification (Java SE 8 ed.)."},{"volume-title":"Project Lambda: Java Language Specification draft.","year":"2010","key":"e_1_3_2_1_7_1","unstructured":"Lambda. 2010 . Project Lambda: Java Language Specification draft. (2010). http:\/\/mail.openjdk.java.net\/pipermail\/lambda-dev\/attachments\/20100212\/af8d2cc5\/attachment-0001.txt Version0.1.5. Lambda. 2010. Project Lambda: Java Language Specification draft. (2010). http:\/\/mail.openjdk.java.net\/pipermail\/lambda-dev\/attachments\/20100212\/af8d2cc5\/attachment-0001.txt Version0.1.5."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647373.724066"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360207"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345100"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294336"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00675-3_15"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093171"},{"key":"e_1_3_2_1_15_1","volume-title":"Draft proceedings of the 24th symposium on implementation and application of functional languages (IFL","author":"Pl\u00fcmicke Martin","year":"2012","unstructured":"Martin Pl\u00fcmicke . 2012 . Functional implementation of well-typings in Java\u03bb . In Draft proceedings of the 24th symposium on implementation and application of functional languages (IFL 2012), Ralf Hinze (Ed.). Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, 403--415. Martin Pl\u00fcmicke. 2012. Functional implementation of well-typings in Java\u03bb. In Draft proceedings of the 24th symposium on implementation and application of functional languages (IFL 2012), Ralf Hinze (Ed.). Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, 403--415."},{"key":"e_1_3_2_1_16_1","volume-title":"PSI 2014","author":"Pl\u00fcmicke Martin","year":"2015","unstructured":"Martin Pl\u00fcmicke . 2015 . More Type Inference in Java 8. In Perspectives of System Informatics - 9th International Ershov Informatics Conference , PSI 2014 , St. Petersburg, Russia , June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science), Andrei Voronkov and Irina Virbitskaite (Eds.), Vol. 8974. Springer, 248--256. Martin Pl\u00fcmicke. 2015. More Type Inference in Java 8. In Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Lecture Notes in Computer Science), Andrei Voronkov and Irina Virbitskaite (Eds.), Vol. 8974. Springer, 248--256."},{"key":"e_1_3_2_1_17_1","unstructured":"Scala 2017. The Scala Language Specification. (2017). http:\/\/www.scala-lang.org\/files\/archive\/spec\/2.12 Version 2.12.  Scala 2017. The Scala Language Specification. (2017). http:\/\/www.scala-lang.org\/files\/archive\/spec\/2.12 Version 2.12."},{"key":"e_1_3_2_1_18_1","volume-title":"Informatik","author":"Stadelmeier Andreas","year":"2015","unstructured":"Andreas Stadelmeier . 2015. Java type inference as an Eclipse plugin. In 45. Jahrestagung der Gesellschaft f\u00fcr Informatik , Informatik 2015 , Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland . 1841--1852. http:\/\/subs.emis.de\/LNI\/Proceedings\/Proceedings246\/article18.html Andreas Stadelmeier. 2015. Java type inference as an Eclipse plugin. In 45. Jahrestagung der Gesellschaft f\u00fcr Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland. 1841--1852. http:\/\/subs.emis.de\/LNI\/Proceedings\/Proceedings246\/article18.html"},{"key":"e_1_3_2_1_19_1","volume-title":"Tagungsband der ArbeitstagungProgrammiersprachen (ATPS 2015)","volume":"1337","author":"Stadelmeier Andreas","year":"2015","unstructured":"Andreas Stadelmeier and Martin Pl\u00fcmicke . 2015 . Adding overloading to Java type inference . In Tagungsband der ArbeitstagungProgrammiersprachen (ATPS 2015) , Vol. Vol- 1337 . CEUR Workshop Proceedings (CEUR-WS.org), 127--132. Andreas Stadelmeier and Martin Pl\u00fcmicke. 2015. Adding overloading to Java type inference. In Tagungsband der ArbeitstagungProgrammiersprachen (ATPS 2015), Vol. Vol-1337. CEUR Workshop Proceedings (CEUR-WS.org), 127--132."},{"volume-title":"The C++ Programming Language","author":"Stroustrup Bjarne","key":"e_1_3_2_1_20_1","unstructured":"Bjarne Stroustrup . 2013. The C++ Programming Language ( fourth ed.). Addison-Wesley . Bjarne Stroustrup. 2013. The C++ Programming Language (fourth ed.). Addison-Wesley."}],"event":{"name":"ManLang 2017: 14th International Conference on Managed Languages and Runtimes","sponsor":["Charles University Charles University","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Prague Czech Republic","acronym":"ManLang 2017"},"container-title":["Proceedings of the 14th International Conference on Managed Languages and Runtimes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132190.3132203","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132190.3132203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:56Z","timestamp":1750212836000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132190.3132203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,27]]},"references-count":20,"alternative-id":["10.1145\/3132190.3132203","10.1145\/3132190"],"URL":"https:\/\/doi.org\/10.1145\/3132190.3132203","relation":{},"subject":[],"published":{"date-parts":[[2017,9,27]]},"assertion":[{"value":"2017-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}