Statically and Dynamically Typed Language

Statically and Dynamically Typed Language (2011)

Cached

Download Links

[www.di.uniovi.es]

by Francisco Ortin

BibTeX

@MISC{Ortin11staticallyand,
    author = {Francisco Ortin},
    title = {Statically and Dynamically Typed Language},
    year = {2011}
}

Bookmark

OpenURL

Abstract

NOTICE: This is the author’s version of a work accepted for publication in The

Citations

830	A Theory of Objects - Abadi, Cardelli - 1996
579	Types and Programming Languages - Pierce - 2002
466	Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 2001
203	Type inclusion constraints and type inference - Aiken, Wimmers - 1993
175	Soft typing - Cartwright, Fagan - 1991
148	Dynamic typing in a statically typed language - Abadi, Cardelli, et al. - 1991
92	Dynamic typing in polymorphic languages - Abadi, Cardelli, et al. - 1995
71	Lua - an extensible extension language - IERUSALIMSCHY, FIGUEIREDO, et al. - 1996
64	Programming with Intersection Types and Bounded Polymorphism - Pierce - 1991
53	Intersection and Union Types: Syntax and Semantics - Barbanera, Dezani-Ciancaglini, et al. - 1995
50	The Pragmatic Programmer: From Journeyman to Master - Hunt, Thomas - 1999
47	Pluggable type systems - Bracha - 2004
45	Towards type inference for JavaScript - Anderson, Giannini, et al. - 2005
30	Gradual typing for objects - Siek, Taha - 2007
29	Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages, 2004. http://research.microsoft.com/ en-us/um/people/emeijer/Papers/ RDL04Meijer.pdf - Meijer, Drayton
23	Subtyping with union types, intersection types and recursive types - Damm - 1994
22	Static Type Inference for Ruby - Furr, An, et al. - 2009
18	On weaving aspects - Böllert - 1999
17	Hybrid types, invariants, and refinements for imperative objects - Flanagan, Freund, et al. - 2006
14	Union types for object-oriented programming - Igarashi, Nagira - 2006
14	A High-Level Modular Definition of the Semantics of C - Börger, Fruja, et al. - 2005
12	Dynamic adaptation of application aspects - Ortin, Cueva - 2004
11	The Python Language Reference Manual. Network Theory, United Kingdom - Rossum, Fred, et al. - 2003
10	The evolution of lua - Ierusalimschy, Figueiredo, et al. - 2007
9	Integrating typed and untyped code in a scripting language - Wrigstad, Nardelli, et al. - 2010
8	Agile Web Development with Rails. A Pragmatic Guide. Pragmatic Bookshelf - Thomas, Hansson, et al. - 2005
5	Axum programming language - Corporation
5	Just: Safe unknown types in java-like languages - Lagorio, Zucca - 2007
4	Coinductive type systems for object-oriented languages - Ancona, Lagorio - 2009
4	Efficient virtual machine support of runtime structural reflection - Ortin, Redondo, et al. - 2009
4	The Microsoft Visual Basic Language Specification - Vick - 2007
4	Adding dynamic types to c - Bierman, Meijer, et al. - 2010
3	Programming Ruby, 2nd edition - Thomas, Fowler, et al. - 2004
3	Just glue it! Ruby and the - Hugunin - 2007
3	Including both static and dynamic typing in the same programming language - Ortin, Zapico, et al. - 2010
3	Gradual typing with unification-based inference - Siek, Vachharajani - 2008
3	Thorn—robust, concurrent, extensible scripting on the JVM - Bloom, Field, et al. - 2009
3	Introducing safe unknown types in java-like languages - Lagorio, Zucca - 2006
2	JSR 292, supporting dynamically typed languages on the java platform. http://www - Microsystems
2	The StaDyn programming language. http: //www.reflection.uniovi.es/stadyn - Ortin
2	Union and intersection types to support both dynamic and static typing - Ortin, Garcia - 2011
2	Optimizing reflective primitives of dynamic languages - Redondo, Ortin - 2008
2	Dynamic Language Runtime. http://dlr.codeplex.com/Project/Download/ FileDownload.aspx?DownloadId=97300 - Chiles, Turner
1	The Zope book. http://www.zope. org/Documentation/Books/ZopeBook - Latteier, Pelletier, et al. - 2008
1	The Pythius Web Site. http://pythius. sourceforge.net - Hermann
1	New features - Torgersen - 2009
1	Flow-sensitive type qualifiers. Proceedings of the The Computer Journal, Vol. , No. , Inference to Optimize a Hybrid Statically and Dynamically Typed Language 23 - Foster, Terauchi, et al. - 2002
1	Supporting dynamic and static typing by means of union and intersection types - Ortin, Garcia - 2010
1	Quasi-static typing. Proceedings of the 17th symposium on Principles of programming languages (POPL - Thatte - 1990
1	Dylan programming: an object-oriented and dynamic language - Hunt, Thomas - 2000