{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:42:06Z","timestamp":1762954926642,"version":"3.28.0"},"reference-count":62,"publisher":"Institution of Engineering and Technology (IET)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2010,8,26]]},"DOI":"10.1049\/iet-sen.2009.0070","type":"journal-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T22:33:38Z","timestamp":1279838018000},"page":"268-282","source":"Crossref","is-referenced-by-count":20,"title":["Including both static and dynamic typing in the same programming language"],"prefix":"10.1049","volume":"4","author":[{"given":"F.","family":"Ortin","sequence":"first","affiliation":[{"name":"Computer Science Department, University of Oviedo, Calvo Sotelo s\/n, Oviedo, 33007, Spain"}]},{"given":"D.","family":"Zapico","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Oviedo, Calvo Sotelo s\/n, Oviedo, 33007, Spain"}]},{"given":"J.B.G.","family":"Perez-Schofield","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Vigo, As Lagoas s\/n, Orense, 32004, Spain"}]},{"given":"M.","family":"Garcia","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Oviedo, Calvo Sotelo s\/n, Oviedo, 33007, Spain"}]}],"member":"265","reference":[{"unstructured":"Thomas, D., Fowler, C., and Hunt, A.: \u2018Programming ruby\u2019, 2nd edn.(Pragmatic Bookshelf 2004)","key":"10.1049\/iet-sen.2009.0070_r1"},{"unstructured":"Thomas, D., Hansson, D.H., Schwarz, A., Fuchs, T., Breed, L., and Clark, M.: \u2018Agile web development with rails. A pragmatic guide\u2019, (Pragmatic Bookshelf 2005)","key":"10.1049\/iet-sen.2009.0070_r2"},{"unstructured":"Hunt, A., and Thomas, D.: \u2018The pragmatic programmer\u2019, (Addison-Wesley 2000)","key":"10.1049\/iet-sen.2009.0070_r3"},{"unstructured":"\u2018ECMA-357: \u2018ECMAScript for XML (E4X) specification\u2019, 2nd edn.(European Computer Manufacturers Association 2005)","key":"10.1049\/iet-sen.2009.0070_r4"},{"unstructured":"Crane, D., Pascarello, E., and James, D.: \u2018Ajax in action\u2019, (Manning Publications 2005)","key":"10.1049\/iet-sen.2009.0070_r5"},{"unstructured":"van Rossum, G., Fred, L., and Drake, J.R.: \u2018The Python Language Reference Manual\u2019, (Network Theory 2003)","key":"10.1049\/iet-sen.2009.0070_r6"},{"unstructured":"Latteier, A., Pelletier, M., McDonough, C., and Sabaini, P.: \u2018The Zope Book\u2019, 2008),available at www.zope.org\/Documentation\/Books\/ZopeBook\/","key":"10.1049\/iet-sen.2009.0070_r7"},{"unstructured":"Django, the Web framework for perfectionists with deadlines: www.djangoproject.com, accessed September 2009","key":"10.1049\/iet-sen.2009.0070_r8"},{"key":"10.1049\/iet-sen.2009.0070_r9","first-page":"635","volume":"26","author":"Ierusalimschy","year":"1996"},{"key":"10.1049\/iet-sen.2009.0070_r10","first-page":"1","author":"Ierusalimschy","year":"2007","journal-title":"Proc. 3rd ACM SIGPLAN Conf. on History of Programming Languages"},{"unstructured":"The Pythius website: http:\/\/pythius.sourceforge.net, accessed September 2009","key":"10.1049\/iet-sen.2009.0070_r11"},{"key":"10.1049\/iet-sen.2009.0070_r12","first-page":"301","author":"Bo\u0308llert","year":"1999","journal-title":"Eur. Conf. on Object-Oriented Programming (ECOOP), Workshop on Aspect Oriented Programming"},{"doi-asserted-by":"publisher","key":"10.1049\/iet-sen.2009.0070_r13","DOI":"10.1016\/S0164-1212(02)00157-7"},{"unstructured":"JSR 223: \u2018Scripting for the Java platform\u2019. www.jcp.org\/en\/jsr\/detail?id=223","key":"10.1049\/iet-sen.2009.0070_r14"},{"unstructured":"JSR 292: \u2018Supporting dynamically typed languages on the Java platform\u2019. www.jcp.org\/en\/jsr\/detail?id=292","key":"10.1049\/iet-sen.2009.0070_r15"},{"unstructured":"\u2018The Da Vinci Machine, a multi-language renaissance for the Java Virtual Machine architecture\u2019. Sun Microsystems OpenJDK. http:\/\/openjdk.java.net\/projects\/mlvm","key":"10.1049\/iet-sen.2009.0070_r16"},{"year":"2007","author":"Hugunin","journal-title":"MIX Conf.","key":"10.1049\/iet-sen.2009.0070_r17"},{"unstructured":"Torgersen, M.: \u2018New features in C# 4.0\u2019, (Microsoft Corporation 2009)","key":"10.1049\/iet-sen.2009.0070_r18"},{"unstructured":"Pierce, B.C.: \u2018Types and programming languages\u2019, (MIT Press 2002)","key":"10.1049\/iet-sen.2009.0070_r19"},{"year":"2004","author":"Meijer","journal-title":"Proc. OOPSLA Workshop on Revival of Dynamic Languages","key":"10.1049\/iet-sen.2009.0070_r20"},{"key":"10.1049\/iet-sen.2009.0070_r21","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"Abadi","year":"1991","ISSN":"http:\/\/id.crossref.org\/issn\/0164-0925","issn-type":"print"},{"unstructured":"\u2018Dynamic typing in polymorphic languages\u2019, 1994 Digital","key":"10.1049\/iet-sen.2009.0070_r22"},{"unstructured":"\u2018Separation of concerns\u2019, 1995 Northeastern University, Boston, USA","key":"10.1049\/iet-sen.2009.0070_r23"},{"unstructured":"Cardelli, L.: \u2018Type systems\u2019, (The handbook of computer science and engineering 1997)","key":"10.1049\/iet-sen.2009.0070_r24"},{"unstructured":"\u2018The StaDyn core type system\u2019, Technical Report, August, 2009 Computer Science Department, University of Oviedo, available at www.reflection.uniovi.es\/stadyn\/publications\/stadyn.core.type.system.pdf","key":"10.1049\/iet-sen.2009.0070_r25"},{"unstructured":"\u2018The C# 3.0 language specification\u2019. Microsoft Developer Network, http:\/\/download.microsoft.com\/download\/3\/8\/8\/388e7205-bc10-4226-b2a8-75351c669b09\/CSharp\\%20Language\\%20Specification.doc","key":"10.1049\/iet-sen.2009.0070_r26"},{"unstructured":"Milner, R., Tofte, M., and Harper, R.: \u2018The definition of standard ML\u2019, (MIT Press 1990)","key":"10.1049\/iet-sen.2009.0070_r27"},{"unstructured":"\u2018Report on the programming language Haskell version 1.1\u2019, Technical, 1991 Departments of Computer Science, University of Glasgow and Yale University","key":"10.1049\/iet-sen.2009.0070_r28"},{"key":"10.1049\/iet-sen.2009.0070_r29","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0167-6423(87)90019-0","volume":"8","author":"Cardelli","year":"1998","ISSN":"http:\/\/id.crossref.org\/issn\/0167-6423","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r30","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"Milner","year":"1978","ISSN":"http:\/\/id.crossref.org\/issn\/0022-0000","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r31","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"Cytron","year":"1991","ISSN":"http:\/\/id.crossref.org\/issn\/0164-0925","issn-type":"print"},{"unstructured":"Gamma, E., Helm, R., Johnson, R., and Vlissides, J.: \u2018Design patterns: elements of reusable object-oriented software\u2019, (Addison Wesley 1995)","key":"10.1049\/iet-sen.2009.0070_r32"},{"key":"10.1049\/iet-sen.2009.0070_r33","first-page":"201","author":"Odersky","year":"2002","journal-title":"Eur. Conf. on Object-Oriented Programming"},{"key":"10.1049\/iet-sen.2009.0070_r34","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1002\/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4","volume":"4","author":"Re\u0301my","year":"1998","ISSN":"http:\/\/id.crossref.org\/issn\/1074-3227","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r35","first-page":"268","author":"Freeman","year":"1991","journal-title":"Proc. ACM SIGPLAN 1991 Conf. on Programming Language Design and Implementation"},{"key":"10.1049\/iet-sen.2009.0070_r36","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/191081.191130","author":"Plevyak","year":"1994","journal-title":"SIGPLAN Notices 29, 10, Proc. OOPSLA Conf."},{"unstructured":"\u2018Programming with intersection types, union types, and polymorphism\u2019, 1991 School of Computer Science, Carnegie Mellon University, Pittsburgh, PA","key":"10.1049\/iet-sen.2009.0070_r37"},{"year":"2004","author":"Bracha","journal-title":"OOPSLA Workshop on Revival of Dynamic Languages","key":"10.1049\/iet-sen.2009.0070_r38"},{"key":"10.1049\/iet-sen.2009.0070_r39","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.cl.2008.06.003","volume":"35","author":"Haldiman","year":"2009","ISSN":"http:\/\/id.crossref.org\/issn\/1477-8424","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r40","first-page":"273","author":"Canning","year":"1989","journal-title":"Proc. 4th Int. Conf. on Functional Programming Languages and Computer Architecture"},{"key":"10.1049\/iet-sen.2009.0070_r41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<35::AID-TAPO4>3.0.CO;2-4","volume":"5","author":"Odersky","year":"1999","ISSN":"http:\/\/id.crossref.org\/issn\/1074-3227","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r42","first-page":"473","author":"Landi","year":"1992","journal-title":"Conf. on Programming Language Design and Implementation"},{"key":"10.1049\/iet-sen.2009.0070_r43","first-page":"106","author":"Diwan","year":"1998","journal-title":"SIGPLAN Conf. on Programming Language Design and Implementation"},{"key":"10.1049\/iet-sen.2009.0070_r44","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/178243.178264","author":"Emami","year":"1994","journal-title":"Proc. ACM SIGPLAN'94 Conf. on Programming Language Design and Implementation"},{"doi-asserted-by":"crossref","unstructured":"Appel, A.W.: \u2018Modern compiler implementation in ML\u2019, (Cambridge University Press 1998)","key":"10.1049\/iet-sen.2009.0070_r45","DOI":"10.1017\/CBO9780511811449"},{"unstructured":"Buschmann, F.: \u2018Pattern-oriented software architecture, a system of patterns\u2019, (Wiley 1996)","key":"10.1049\/iet-sen.2009.0070_r46"},{"unstructured":"Parr, T.: \u2018The definitive ANTLR reference: building domain-specific languages\u2019, (Pragmatic Bookshelf 2007)","key":"10.1049\/iet-sen.2009.0070_r47"},{"unstructured":"Watt, D., and Brown, D.: \u2018Programming language processors in Java: compilers and interpreters\u2019, (Prentice Hall 2000)","key":"10.1049\/iet-sen.2009.0070_r48"},{"key":"10.1049\/iet-sen.2009.0070_r49","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/TE.2007.901983","volume":"50","author":"Ortin","year":"2007","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9359","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r50","first-page":"759","volume":"18","author":"Redondo","year":"2008"},{"key":"10.1049\/iet-sen.2009.0070_r51","doi-asserted-by":"crossref","first-page":"836","DOI":"10.1016\/j.scico.2009.04.001","volume":"74","author":"Ortin","year":"2009","ISSN":"http:\/\/id.crossref.org\/issn\/0167-6423","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0070_r52","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/165854.165893","author":"Bracha","year":"1993","journal-title":"Proc. OOPSLA'93 Conf. on Object-Oriented Programming Systems, Languages and Applications"},{"unstructured":"Goldberg, A., and Robson, D.: \u2018Smalltalk-80: the language and its implementation\u2019, (Addison-Wesley 1983)","key":"10.1049\/iet-sen.2009.0070_r53"},{"unstructured":"Shalit, A.: \u2018The Dylan reference manual: the definitive guide to the new object-oriented dynamic language\u2019, (Addison Wesley Longman Publishing Co. 1996)","key":"10.1049\/iet-sen.2009.0070_r54"},{"unstructured":"Vick, P.: \u2018The microsoft visual basic language specification\u2019, (Microsoft Corporation 2007)","key":"10.1049\/iet-sen.2009.0070_r55"},{"unstructured":"Boo home page: http:\/\/boo.codehaus.org, accessed September 2009","key":"10.1049\/iet-sen.2009.0070_r56"},{"year":"1991","author":"Cartwright","journal-title":"Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation","key":"10.1049\/iet-sen.2009.0070_r57"},{"year":"1996","author":"Flanagan","journal-title":"Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation","key":"10.1049\/iet-sen.2009.0070_r58"},{"year":"1990","author":"Thatte","journal-title":"Proc. ACM Symp. on Principles of Programming Languages","key":"10.1049\/iet-sen.2009.0070_r59"},{"year":"2006","author":"Flanagan","journal-title":"Int. Workshop Foundations and Developments of Object-Oriented Languages","key":"10.1049\/iet-sen.2009.0070_r60"},{"year":"2007","author":"Siek","journal-title":"Proc. 21st Eur. Conf. on Object-Oriented Programing, Lecture Notes In Computer Science, vol. 4609","key":"10.1049\/iet-sen.2009.0070_r61"},{"year":"2008","author":"Siek","journal-title":"Proc. Symp. on Dynamic Languages","key":"10.1049\/iet-sen.2009.0070_r62"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen.2009.0070?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:23:24Z","timestamp":1731435804000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen.2009.0070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,26]]},"references-count":62,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8,26]]}},"alternative-id":["10.1049\/iet-sen.2009.0070"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen.2009.0070","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2010,8,26]]}}}