Chapter 5 Dynamically Typed Languages

Advances in Computers

Volumn 77, Issue , 2009, Pages 149-184

  Tratt, Laurence ^a  

^a BOURNEMOUTH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 65749098202     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(09)01205-4     Document Type: Review

References (88)

1. Ousterhout J. Scripting: higher-level programming for the 21st century. Computer 31 3 (1998) 23-30
2. Meijer E., and Drayton P. Static typing where possible, dynamic typing when needed: the end of the cold war between programming languages. Proc. OOPSLA'04 Workshop on Revival of Dynamic Languages (October 2004)
3. McCarthy J. Recursive functions of symbolic expressions and their computation by machine (Part I). Commun. ACM 3 4 (1960) 184-195
4. Sussman G., and Steele Jr. G. Scheme: an interpreter for extended lambda calculus, Technical Report AI Lab Memo AIM-349. MIT AI Lab (December 1975)
5. Aycock J. A brief history of Just-In-Time. ACM Comput. Surv. 35 2 (2003) 97-113
6. Paulson L.D. Developers shift to dynamic programming languages. Computer 40 2 (2007) 12-15
7. Loui R.P. In praise of scripting: real programming pragmatism. Computer 41 7 (2008) 22-26
8. Spinellis D., and Guruprasad V. Lightweight languages as software engineering tools. USENIX Conference on Domain-Specific Languages (October 1997), USENIX Association, Berkeley, CA 67-76
9. Karabuk S., and Grant F.H. A common medium for programming operations-research models. IEEE Software 24 5 (2007) 39-47
10. Madsen O.L., Magnusson B., and Mølier-Pedersen B. Strong typing of Object orientated languages revisited. Proc. OOPSLA (1990), ACM, Ottawa, Canada 140-150
11. Norvig P. Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (1992), Morgan Kaufmann, San Mateo, CA
12. Cardelli L. Type systems. The Computer Science and Engineering Handbook. (1997), CRC Press, Boca Raton, FL 2208-2236
13. Pierce B.C. Types and Programming Languages (2002), MIT Press, Cambridge, MA
14. Cook W., Hill W., and Canning P. Inheritance is not subtyping. Proc. 17th Symposium on Principles of Programming Languages (1990) 125-135
15. Abadi M., and Cardelli L. A Theory of Objects (1996), Springer-Verlag, New York
16. Gosling J., Joy B., Steele G., and Bracha G. The Java Language Specification. second ed. (2000), Addison-Wesley, Boston, MA
17. Jones S.P. Haskell 98 Languages and Libraries: The Revised Report (2003), Cambridge University Press, New York
18. Tratt L. Converge Reference Manual (July 2007). http://www.convergepl.org/documentation/ accessed 3 June 2008)
19. Cartwright R., and Fagan M. Soft typing. Proc. SIGPLAN'91 Conference on Programming Language Design and Implementation (1991) 278-292
20. Wall L., Christiansen T., and Orwant J. Programming Perl, O'Reilly. third ed. (2000)
21. Rossum G. Python 2.3 Reference Manual (2003). http://www.python.org/doc/2.3/ref/ref.html accessed 3 June 2008)
22. Ousterhout J. Tcl and the Tk Toolkit (1994), Addison-Wesley, Reading, MA
23. Bracha G. Pluggable type systems. OOPSLA'04 Workshop on Revival of Dynamic Languages (October 2004)
24. Ancona D., Zucca E., and Drossopoulou S. Overloading and inheritance. Workshop on Foundations of Object Orientated Languages (FOOL8) (2001)
25. Shields M., Sheard T., and Jones S.P. Dynamic typing as staged type inference. Proc. Symposium on Principles of Programming Languages (January 1998) 289-302
26. Xi H., and Pfenning F. Eliminating array bound checking through dependent types. Proc. Conference on Programming Language Design and Implementation (1998) 249-257
27. Mitchell N., and Runciman C. Unfailing Haskell: a static checker for pattern matching. Proc. Symposium on Trends in Functional Programming (2005) 313-328
28. Aiken A., Wimmers E.L., and Lakshman T.K. Soft typing with conditional types. Proc. Symposium on Principles of Programming Languages (1994), ACM, New York 163-173
29. Matthews D.C.J. Static and dynamic type checking. Advances in Database Programming Languages (1990) 67-73
30. MacQueen D.B. Reflections on standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning vol. 693 (1993), Springer-Verlag, New York 32-46 of LNCS
31. Meijer E. Confessions of a used programming language salesman. SIGPLAN Notices 42 10 (2007) 677-694
32. Meyer B. Eiffel: The Language (1992), Prentice-Hall International, London
33. Cook W.R. A proposal for making Eiffel type-safe. Comput. J. 32 4 (1989) 305-311
34. Castagna G. Covariance versus contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems (May 1995) 431-447
35. Lehman M.M., and Belady L.A. Program Evolution: Processes of Software Change (1985), Academic Press, London
36. Nierstrasz O., Bergel A., Denker M., Ducasse S., Gälli M., and Wuyts R. On the revival of dynamic languages. Proc. Software Composition 2005 vol. 3628 (2005) 1-13 of LNCS
37. Hicks M., and Nettles S.M. Dynamic software updating. ACM Trans. Program. Lang. Syst. 27 6 (2005) 1049-1096
38. Demers F.N., and Malenfant J. Reflection in logic, functional and Object orientated programming: a short comparative study. Proc. IJCAI'95 Workshop on Reflection and Metalevel Architectures and Their Applications in AI (August 1995) 29-38
39. Steele G.L., and Gabriel R.P. The Evolution of Lisp (1996) 233-330
40. Kay A.C. The Early History of Smalltalk (1996) 511-598
41. Griswold R.E., and Griswold M.T. History of the Icon Programming Language (1996), Addison-Wesley, Reading, MA 599-624
42. McCarthy J. History of LISP. Proc. History of Programming Languages (1978), ACM, New York 173-185
43. Brabrand C., and Schwartzbach M. Growing languages with metamorphic syntax macros. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (2000), ACM, San Diego, CA
44. Sheard T. Using MetaML: a staged programming language. Advanced Functional Programming (September 1998) 207-239
45. Sheard T., and Jones S.P. Template meta-programming for Haskell. Proc. Haskell Workshop (2002), ACM, New York
46. Jones R., and Lins R. Garbage Collection: Algorithms for Automatic Dynamic Memory Management (1999), John Wiley & Sons, New York
47. Gabriel R.P. Performance and Evaluation of LISP Systems (1986), MIT Press, Cambridge, MA
48. Haynes C.T., Friedman D.P., and Wand M. Continuations and coroutines. Proc. Symposium on LISP and Functional Programming (1984), ACM, Austin, TX 293-298
49. Kohlbecker E., Friedman D.P., Felleisen M., and Duba B. Hygienic macro expansion. Proc. Symposium on Lisp and Functional Programming (1986), ACM, Austin, TX 151-161
50. Clinger W., and Rees J. Macros that work. Proc. 19th ACM Symposium on Principles of Programming Languages (January 1991), ACM, New York 155-162
51. Dahl O.J., and Nygaard K. An Algol-based simulation language. Commun. ACM 9 9 (1966) 671-678
52. Goldberg A., and Robson D. Smalltalk-80: The Language (1989), Addison-Wesley, Reading, MA
53. Maes P. Concepts and experiments in computational reflection. Proc. OOPSLA (1987), ACM, New York 147-155
54. Kiczales G., Rivieres J., and Bobrow D.G. The Art of the Metaobject Protocol (1991), MIT Press, Cambridge, MA
55. Forman I.R., and Danforth S.H. Putting Metaclasses to Work: A New Dimension in Object Orientated Programming (1998), Addison-Wesley, Reading, MA
56. Cointe P. Metaclasses are first class: the ObjVLisp model. Proc. Object Orientated Programming Systems, Languages, and Applications (October 1987) 156-162
57. Griswold R.E., Poage J.F., and Polonsky I.P. The SNOBOL4 Programming Language. second ed. (1971), Prentice-Hall, Englewood Cliffs, NJ
58. Griswold R.E. A history of the SNOBOL programming languages. SIGPLAN Notices 13 8 (1978) 275-308
59. Griswold R.E., and Griswold M.T. The Icon Programming Language, Peer-to-Peer Communications. third ed. (1996)
60. Aho A.V., Kernighan B.W., and Weinberger P.J. The AWK Programming Language (1998), Addison-Wesley, Reading, MA
61. Sterling L., and Shapiro E. The Art of Prolog. second ed. (1994), MIT Press, Cambridge, MA
62. Virding R., Wikstrom C., Williams M., and Armstrong J. Concurrent Programming in Erlang (1996), Prentice Hall, New York
63. Armstrong J. A history of Erlang. Proc. History of Programming Languages (2007), ACM, New York
64. Ungar D., and Smith R.B. Self: the power of simplicity. Proc. OOPSLA (October 1987) 227-241
65. Chambers C., and Ungar D. Customization: optimizing compiler technology for SELF, a dynamically-typed Object orientated programming language. SIGPLAN Notices 24 7 (1989) 146-160
66. Thomas D., and Hunt A. Programming Ruby: A Pragmatic Programmer's Guide (2000), Addison-Wesley, Reading, MA
67. Ierusalimschy R. Programming in Lua. second ed. (2006), Lua.org
68. Ierusalimschy R., de Figueiredo L.H., and Celes W. The evolution of Lua. Proc. History of Programming Languages (2007), ACM, New York
69. Rovner P. On adding garbage collection and runtime types to a strongly-typed, statically-checked, concurrent language, Technical Report CSL-84-7, Xerox Parc (1985)
70. Bracha G., and Ungar D. Mirrors: design principles for meta-level facilities of Object orientated programming languages. Proc. OOPSLA (2004), ACM, New York 331-344
71. Mostinckx S., Cutsem T., Timbermont S., Boix E.G., Tanter E., and Meuter W. Mirror-based reflection in AmbientTalk. Software Pract. Exper. (2009)
72. Ortin F., and Cueva J.M. Dynamic adaptation of application aspects. J. Syst. Software 71 (2004) 229-243
73. Steele Jr. G.L. Common Lisp the Language. second ed. (1990), Digital Press, Newton, MA
74. Ducasse S., Lienhard A., and Renggli L. Seaside: a flexible environment for building dynamic Web applications. IEEE Software 24 5 (2007) 56-63
75. Fowler M., Beck K., Brant J., Opdyke W., and Roberts D. Refactoring: Improving the Design of Existing Code (1999), Addison-Wesley, Reading, MA
76. Oliphant T.E. Python for scientific computing. Comput. Sci. Eng. 9 3 (2007) 10-20
77. Spencer H., and Collyer G. #ifdef considered harmful, or portability experience with C News. Proc. Summer 1992 USENIX Conference, San Antonio, TX (1992) 185-198
78. Koenig A., and Moo B.E. Templates and duck typing. Dr. Dobb's (2005)
79. Tratt L., and Wuyts R. Dynamically typed languages. IEEE Software 24 5 (2007) 28-30
80. Cai X., Langtangen H.P., and Moe H. On the performance of the Python programming language for serial and parallel scientific computations. Sci. Program. 13 1 (2005) 31-56
81. Beck K. Simple Smalltalk testing: with patterns (1994). http://www.xprogramming.com/testfram.htm accessed 14 July 2008)
82. Link J., and Fröhlich P. Unit Testing in Java: How Tests Drive the Code (2003), Morgan Kaufmann, San Mateo, CA
83. Schärli N., Ducasse S., Nierstrasz O., and Black A.P. Traits: composable units of behaviour?. Proc. ECOOP vol. 2743 (July 2003) 248-274 of LNCS
84. Abadi M., Cardelli L., Pierce B., and Plotkin G. Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst. 13 2 (1991) 237-268
85. Henglein F. Dynamic typing: syntax and proof theory. Sci. Comput. Program. 22 3 (1994) 197-230
86. Tobin-Hochstadt S., and Felleisen M. The design and implementation of typed Scheme. SIGPLAN Notices 43 1 (2008) 395-406
87. Siek J.G., and Vacharajani M. Gradual typing with unification-based inference. Dynamic Languages Symposium (2008)
88. Lindahl T., and Sagonas K. Detecting software defects in telecom applications through lightweight static analysis: a war story. In: Wei-Ngan C. (Ed). Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) vol. 3302 (November 2004), Springer-Verlag, New York 91-106 of LNCS