[{"text":"\n\n\nBeck, Test Driven Development: By Example, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002 \n\n","citation":"579193"},{"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\nMarcel Bruch , Martin Monperrus , Mira Mezini, Learning from examples to improve code completion systems, Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, August 24-28, 2009, Amsterdam, The Netherlands   [doi>10.1145/1595696.1595728]\n\n","citation":"1595728","doi":"http://doi.acm.org/10.1145/1595696.1595728"},{"text":"\n\n\nLuca Cardelli, Type systems, ACM Computing Surveys (CSUR), v.28 n.1, p.263-264, March 1996   [doi>10.1145/234313.234418]\n\n","citation":"234418","doi":"http://doi.acm.org/10.1145/234313.234418"},{"text":"\n\n\nMason Chang , Bernd Mathiske , Edwin Smith , Avik Chaudhuri , Andreas Gal , Michael Bebenita , Christian Wimmer , Michael Franz, The impact of optional type information on jit compilation of dynamically typed languages, ACM SIGPLAN Notices, v.47 n.2, February 2012   [doi>10.1145/2168696.2047853]\n\n","citation":"2047853","doi":"http://doi.acm.org/10.1145/2168696.2047853"},{"text":"\n\n\nS. R. Chidamber , C. F. Kemerer, A Metrics Suite for Object Oriented Design, IEEE Transactions on Software Engineering, v.20 n.6, p.476-493, June 1994   [doi>10.1109/32.295895]\n\n","citation":"631131"},{"text":"\n\nJ. Cohen. Statistical power analysis for the behavioral sciences (2nd ed.). Hillsdale, NJ: Lawrence Erlbaum, 1988.\n\n"},{"text":"\n\nB. Curtis. Five paradigms in the psychology of programming. MMC, 1987.\n\n"},{"text":"\n\nM. Daly, V. Sazawal, and J. Foster. An empirical study of static typing in ruby. In Proceedings of the Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2009.\n\n"},{"text":"\n\n\nNorman E. Fenton , Shari Lawrence Pfleeger, Software Metrics: A Rigorous and Practical Approach, PWS Publishing Co., Boston, MA, 1998 \n\n","citation":"580949"},{"text":"\n\n\nCormac Flanagan, Hybrid type checking, ACM SIGPLAN Notices, v.41 n.1, p.245-256, January 2006   [doi>10.1145/1111320.1111059]\n\n","citation":"1111059","doi":"http://doi.acm.org/10.1145/1111320.1111059"},{"text":"\n\n\nMartin Fowler, Domain Specific Languages, Addison-Wesley Professional, 2010 \n\n","citation":"1809745"},{"text":"\n\n\nMichael Furr , Jong-hoon (David) An , Jeffrey S. Foster , Michael Hicks, Static type inference for Ruby, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii   [doi>10.1145/1529282.1529700]\n\n","citation":"1529700","doi":"http://doi.acm.org/10.1145/1529282.1529700"},{"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\nKathryn E. Gray, Safe Cross-Language Inheritance, Proceedings of the 22nd European conference on Object-Oriented Programming, July 07-11, 2008, Paphos, Cypress   [doi>10.1007/978-3-540-70592-5_4]\n\n","citation":"1428514"},{"text":"\n\nK. Gray. Interoperability in a scripted world: Putting inheritance & prototypes together. In Proceedings of Foundations of Object-Oriented Languages (FOOL), 2011.\n\n"},{"text":"\n\n\nKathryn E. Gray , Robert Bruce Findler , Matthew Flatt, Fine-grained interoperability through mirrors and contracts, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA   [doi>10.1145/1094811.1094830]\n\n","citation":"1094830","doi":"http://doi.acm.org/10.1145/1094811.1094830"},{"text":"\n\nGroovy programming language. http://groovy.codehaus.org/. Accessed in 10/10/2013.\n\n"},{"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, ACM SIGPLAN Notices, v.45 n.10, October 2010   [doi>10.1145/1932682.1869462]\n\n","citation":"1869462","doi":"http://doi.acm.org/10.1145/1932682.1869462"},{"text":"\n\nS. Hanenberg et al. An empirical study on the impact of static typing on software maintainability. Empirical Software Engineering - An International Journal, 1--48, 2013.\n\n"},{"text":"\n\nISO, and IEC FCD. 25000, Software engineering-software product quality requirements and evaluation (SQuaRE) - Guide to SQuaRE. International Organization for Standardization, 2004.\n\n"},{"text":"\n\nS. Kleinschmager, S. Hanenberg, R. Robbes, and A. Stefik. Do static type systems improve the maintainability of software systems? An empirical study. In Proceedings of the 20th IEEE International Conference on Program Comprehension (ICPC), 153--162, 2012.\n\n"},{"text":"\n\nS. Labovitz, Criteria for selecting a significance level: A note on the sacredness of. 05. The American Sociologist 3.3, 220--222, 1968.\n\n"},{"text":"\n\n\nLeslie Lamport , Lawrence C. Paulson, Should your specification language be typed, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.502-526, May 1999   [doi>10.1145/319301.319317]\n\n","citation":"319317","doi":"http://doi.acm.org/10.1145/319301.319317"},{"text":"\n\nC. Mayer, S. Hanenberg, R. Robbes, E. Tanter, and A. Stefik. Static type systems (sometimes) have a positive impact on the usability of undocumented software: An empirical evaluation. Technical Report 20120418-005, 2012. Types help on the definition of a contract\n\n"},{"text":"\n\nE. Meijer and D. Peter. Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2004.\n\n"},{"text":"\n\n\nBertrand Meyer, Object-Oriented Software Construction, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988 \n\n","citation":"534929"},{"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\nBenjamin C. Pierce, Types and programming languages, MIT Press, Cambridge, MA, 2002 \n\n","citation":"509043"},{"text":"\n\n\nReinhold Ploesch, Design by Contract for Python, Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference, p.213, December 02-05, 1997 \n\n","citation":"785590"},{"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\nJeremy Siek , Walid Taha, Gradual Typing for Objects, Proceedings of the 21st European conference on ECOOP 2007: Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany   [doi>10.1007/978-3-540-73589-2_2]\n\n","citation":"1420964"},{"text":"\n\n\nJeremy Siek , Walid Taha, Gradual Typing for Objects, Proceedings of the 21st European conference on ECOOP 2007: Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany   [doi>10.1007/978-3-540-73589-2_2]\n\n","citation":"1420964"},{"text":"\n\n\nAsumu Takikawa , T. Stephen Strickland , Christos Dimoulas , Sam Tobin-Hochstadt , Matthias Felleisen, Gradual typing for first-class classes, ACM SIGPLAN Notices, v.47 n.10, October 2012   [doi>10.1145/2398857.2384674]\n\n","citation":"2384674","doi":"http://doi.acm.org/10.1145/2398857.2384674"},{"text":"\n\nTiobe programming community index. http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html. Accessed in 23/09/2013.\n\n"},{"text":"\n\nL. Tratt. Dynamically typed languages. Advances in Computers, vol. 77, 149--184, 2009.\n\n"},{"text":"\n\n\nPhilip Wadler , Robert Bruce Findler, Well-Typed Programs Can't Be Blamed, Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, March 22-29, 2009, York, UK   [doi>10.1007/978-3-642-00590-9_1]\n\n","citation":"1532976"},{"text":"\n\n\nClaes Wohlin , Per Runeson , Martin Hst , Magnus C. Ohlsson , Bjrn Regnell , Anders Wessln, Experimentation in Software Engineering, Springer Publishing Company, Incorporated, 2012 \n\n","citation":"2349018"}]