References

  1. Torben Amtoft, Hanne Riis Nielson & Flemming Nielson (1999): Type and effect systems - behaviours for concurrency. Imperial College Press, doi:10.1142/p132.
  2. Christopher Anderson & Sophia Drossopoulou (2003): BabyJ: from object based to class based programming via types. ENTCS 82(8), pp. 53–81, doi:10.1016/S1571-0661(04)80802-8.
  3. Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini (1983): A Filter Lambda Model and the Completeness of Type Assignment. J. Symbolic Logic 48(4), pp. 931–940, doi:10.2307/2273659.
  4. Gilad Bracha & David Griswold (1993): Strongtalk: Typechecking Smalltalk in a Production Environment. In: Proc. of OOPSLA'93, pp. 215–230, doi:10.1145/165854.165893.
  5. Kathleen Fisher, Furio Honsell & John C. Mitchell (1994): A lambda calculus of objects and method specialization. Nord. J. Comp. 1, pp. 3–37.
  6. David K. Gifford & John M. Lucassen (1986): Integrating functional and imperative programming. In: Proc. of LFP'89, LFP '86. ACM, New York, NY, USA, pp. 28–38, doi:10.1145/319838.319848.
  7. Barry Jay & Simon Peyton Jones (2008): Scrap Your Type Applications. In: Proceedings of the 9th international conference on Mathematics of Program Construction, LNCS. Springer-Verlag, Berlin, Heidelberg, pp. 2–27, doi:10.1007/978-3-540-70594-9_2.
  8. A.J. Kfoury & J.B. Wells (2004): Principality and type inference for intersection types using expansion variables. Theor. Comput. Sci. 311(1–3), pp. 1–70, doi:10.1016/j.tcs.2003.10.032.
  9. Andrew J. Ko, Brad A. Myers, Michael J. Coblenz & Htet Htet Aung (2006): An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks. IEEE Transactions on Software Engineering 32(12), pp. 971–987, doi:10.1109/TSE.2006.116.
  10. Barbara Liskov & Jeannette M. Wing (1994): A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6), pp. 1811–1841, doi:10.1145/197320.197383.
  11. Daniel Marino & Todd Millstein (2009): A generic type-and-effect system. In: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, TLDI '09. ACM, New York, NY, USA, pp. 39–50, doi:10.1145/1481861.1481868.
  12. Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter & Andreas Stefik (2012): An empirical study of the influence of static type systems on the usability of undocumented software. In: Proceedings of OOPSLA. ACM, pp. 683–702, doi:10.1145/2384616.2384666.
  13. Lutz Prechelt (2000): An Empirical Comparison of Seven Programming Languages. Computer 33(10), pp. 23–29, doi:10.1109/2.876288.
  14. William Sasso (1996): Cognitive processes in program comprehension: An empirical analysis in the Context of software reengineering. Journal of Systems and Software 34(3), pp. 177–189, doi:10.1016/0164-1212(95)00074-7.
  15. Jeremy G. Siek & Walid Taha (2007): Gradual Typing for Objects. In: Proc. of ECOOP'07, pp. 2–27, doi:10.1007/978-3-540-73589-2_2.
  16. Ed Stephenson (2001): Perl Runs Sweden's Pension System: A Fallback Application Built in Six Months Earns the Prime Role. http://epq.com.co/softw_internet/trends/perl/ejemplo/. (accessed October 31, 2014).
  17. Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom & Jan Vitek (2009): Software hardening: a research agenda. In: Proceedings for the 1st Workshop on Script to Program Evolution, STOP '09. ACM, New York, NY, USA, pp. 58–70, doi:10.1145/1570506.1570513.
  18. Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund & Jan Vitek (2010): Integrating typed and untyped code in a scripting language. In: Proc. of POPL'10. ACM, New York, NY, USA, pp. 377–388, doi:10.1145/1706299.1706343.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org