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