[{"text":"\n\n\nKim B. Bruce, Foundations of object-oriented languages: types and semantics, MIT Press, Cambridge, MA, 2002 \n\n","citation":"507119"},{"text":"\n\n\nOscar Callaú , Romain Robbes , Éric Tanter , David Röthlisberger, How developers use the dynamic features of programming languages: the case of smalltalk, Proceedings of the 8th Working Conference on Mining Software Repositories, May 21-22, 2011, Waikiki, Honolulu, HI, USA   [doi>10.1145/1985441.1985448]\n\n","citation":"1985448","doi":"http://doi.acm.org/10.1145/1985441.1985448"},{"text":"\n\nLuca Cardelli. Type systems. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook, chapter 103, pages 2208--2236. CRC Press, 1997.\n\n"},{"text":"\n\nT.D. Cook and D.T. Campbell. Quasi-experimentation: design & analysis issues for field settings. Rand McNally College, 1979.\n\n"},{"text":"\n\nMark T. Daly, Vibha Sazawal, and Jeffrey S. Foster. Work in progress: an empirical study of static typing in ruby. Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), Orlando, October 2009, 2009.\n\n"},{"text":"\n\n\nStefan Endrikat , Stefan Hanenberg, Is Aspect-Oriented Programming a Rewarding Investment into Future Code Changes? A Socio-technical Study on Development and Maintenance Time, Proceedings of the 2011 IEEE 19th International Conference on Program Comprehension, p.51-60, June 22-24, 2011   [doi>10.1109/ICPC.2011.46]\n\n","citation":"2057209"},{"text":"\n\nStefan Endrikat, Stefan Hanenberg, Romain Robbes, and Andreas Stefik. How do API documentation and static typing affect API usability? In Proceedings of the ICSE 2014 (accepted for publication), ICSE '14, 2014.\n\n"},{"text":"\n\n\nJ. D. Gannon, An experimental evaluation of data type conventions, Communications of the ACM, v.20 n.8, p.584-595, Aug. 1977   [doi>10.1145/359763.359800]\n\n","citation":"359800","doi":"http://doi.acm.org/10.1145/359763.359800"},{"text":"\n\n\nStefan Hanenberg, An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, October 17-21, 2010, Reno/Tahoe, Nevada, USA   [doi>10.1145/1869459.1869462]\n\n","citation":"1869462","doi":"http://doi.acm.org/10.1145/1869459.1869462"},{"text":"\n\n\nStefan Hanenberg, Faith, hope, and love: an essay on software science's neglect of human factors, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, October 17-21, 2010, Reno/Tahoe, Nevada, USA   [doi>10.1145/1869459.1869536]\n\n","citation":"1869536","doi":"http://doi.acm.org/10.1145/1869459.1869536"},{"text":"\n\nStefan Hanenberg. A chronological experience report from an initial experiment series on static type systems. In 2nd Workshop on Empirical Evaluation of Software Composition Techniques (ESCOT), Lancaster, UK, 2011.\n\n"},{"text":"\n\n\nStefan Hanenberg , Stefan Endrikat, Aspect-orientation is a rewarding investment into future code changes - As long as the aspects hardly change, Information and Software Technology, v.55 n.4, p.722-740, April, 2013   [doi>10.1016/j.infsof.2012.09.005]\n\n","citation":"2444429"},{"text":"\n\n\nMichael Hoppe , Stefan Hanenberg, Do developers benefit from generic types?: an empirical comparison of generic and raw types in java, Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, October 29-31, 2013, Indianapolis, Indiana, USA   [doi>10.1145/2509136.2509528]\n\n","citation":"2509528","doi":"http://doi.acm.org/10.1145/2509136.2509528"},{"text":"\n\nSebastian Kleinschmager, Stefan Hanenberg, Romain Robbes, Éric Tanter, and Andreas Stefik. Do static type systems improve the maintainability of software systems? An empirical study. In IEEE 20th International Conference on Program Comprehension, ICPC 2012, Passau, Germany, June 11--13, pages 153--162, 2012.\n\n"},{"text":"\n\n\nClemens Mayer , Stefan Hanenberg , Romain Robbes , Éric Tanter , Andreas Stefik, An empirical study of the influence of static type systems on the usability of undocumented software, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, October 19-26, 2012, Tucson, Arizona, USA   [doi>10.1145/2384616.2384666]\n\n","citation":"2384666","doi":"http://doi.acm.org/10.1145/2384616.2384666"},{"text":"\n\n\nLeo A. Meyerovich , Ariel S. Rabkin, Empirical analysis of programming language adoption, Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, October 29-31, 2013, Indianapolis, Indiana, USA   [doi>10.1145/2509136.2509515]\n\n","citation":"2509515","doi":"http://doi.acm.org/10.1145/2509136.2509515"},{"text":"\n\n\nChris Parnin , Christian Bird , Emerson Murphy-Hill, Adoption and use of Java generics, Empirical Software Engineering, v.18 n.6, p.1047-1089, December 2013   [doi>10.1007/s10664-012-9236-6]\n\n","citation":"2589717"},{"text":"\n\n\nBenjamin C. Pierce, Types and programming languages, MIT Press, Cambridge, MA, 2002 \n\n","citation":"509043"},{"text":"\n\n\nLutz Prechelt, An Empirical Comparison of Seven Programming Languages, Computer, v.33 n.10, p.23-29, October 2000   [doi>10.1109/2.876288]\n\n","citation":"621567"},{"text":"\n\n\nLutz Prechelt , Walter F. Tichy, A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking, IEEE Transactions on Software Engineering, v.24 n.4, p.302-312, April 1998   [doi>10.1109/32.677186]\n\n","citation":"279140"},{"text":"\n\n\nGregor Richards , Christian Hammer , Brian Burg , Jan Vitek, The eval that men do: A large-scale study of the use of eval in javascript applications, Proceedings of the 25th European conference on Object-oriented programming, July 25-29, 2011, Lancaster, UK \n\n","citation":"2032503"},{"text":"\n\n\nCarlos Souza , Eduardo Figueiredo, How do programmers use optional typing?: an empirical study, Proceedings of the companion publication of the 13th international conference on Modularity, April 22-26, 2014, Lugano, Switzerland   [doi>10.1145/2577080.2582208]\n\n","citation":"2582208","doi":"http://doi.acm.org/10.1145/2577080.2582208"},{"text":"\n\n\nAndreas Stefik , Susanna Siebert, An Empirical Investigation into Programming Language Syntax, ACM Transactions on Computing Education (TOCE), v.13 n.4, p.1-40, November 2013   [doi>10.1145/2534973]\n\n","citation":"2534973","doi":"http://doi.acm.org/10.1145/2534973"},{"text":"\n\n\nAndreas Stefik , Susanna Siebert , Melissa Stefik , Kim Slattery, An empirical comparison of the accuracy rates of novices using the quorum, perl, and randomo programming languages, Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, October 24-24, 2011, Portland, Oregon, USA   [doi>10.1145/2089155.2089159]\n\n","citation":"2089159","doi":"http://doi.acm.org/10.1145/2089155.2089159"},{"text":"\n\nMarvin Steinberg and Stefan Hanenberg. What is the impact of static type systems on debugging type errors and semantic errors? - submitted.\n\n"},{"text":"\n\n\nAndreas Stuchlik , Stefan Hanenberg, Static vs. dynamic type systems: an empirical study about the relationship between type casts and development time, Proceedings of the 7th symposium on Dynamic languages, October 24-24, 2011, Portland, Oregon, USA   [doi>10.1145/2047849.2047861]\n\n","citation":"2047861","doi":"http://doi.acm.org/10.1145/2047849.2047861"},{"text":"\n\nLaurence Tratt. Dynamically typed languages. Advances in Computers, 77:149--184, July 2009.\n\n"},{"text":"\n\n\nClaes Wohlin , Per Runeson , Martin Höst , Magnus C. Ohlsson , Bjöorn Regnell , Anders Wesslén, Experimentation in software engineering: an introduction, Kluwer Academic Publishers, Norwell, MA, 2000 \n\n","citation":"330775"}]