Torben Amtoft, Hanne Riis Nielson & Flemming Nielson (1999):
Type and effect systems - behaviours for concurrency.
Imperial College Press,
doi:10.1142/p132.
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.
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.
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.
Kathleen Fisher, Furio Honsell & John C. Mitchell (1994):
A lambda calculus of objects and method specialization.
Nord. J. Comp. 1,
pp. 3–37.
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.
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.
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.
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.
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.
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.
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.
Lutz Prechelt (2000):
An Empirical Comparison of Seven Programming Languages.
Computer 33(10),
pp. 23–29,
doi:10.1109/2.876288.
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.
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.
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).
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.
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.
eptcs@eptcs.org