Integrating typed and untyped code in a scripting language

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2010, Pages 377-388

  Wrigstad, Tobias ^a   Nardelli, Francesco Zappa ^b   Lebresne, Sylvain ^c   Östlund, Johan ^c   Vitek, Jan ^c  

^a STOCKHOLM UNIVERSITY   (Sweden)

^b INRIA   (France)

^c PURDUE UNIVERSITY   (United States)

Author keywords

Compilers; Object orientation; Semantics; Types

Indexed keywords

COMPILERS; LARGE SOFTWARE SYSTEMS; NOVEL INTERMEDIATES; OBJECT CALCULI; OBJECT-ORIENTATION; SCRIPTING LANGUAGES; STATIC TYPING;

COMPUTER SOFTWARE; PROGRAM COMPILERS; QUERY LANGUAGES; SEMANTICS;

LINGUISTICS;

EID: 77950874272     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1706299.1706343     Document Type: Conference Paper

References (36)

1. Amal Ahmed, Robert Bruce Findler, Jacob Matthews, and Philip Wadler. Blame for all. In Script to Program Evolution (STOP), 2009.
2. Davide Ancona, Giovanni Lagorio, and Elena Zucca. Type inference for polymorphic methods in Java-like languages. In Italian Conference on Theoretical Computer Science (ICTCS), 2007.
3. Christopher Anderson and Sophia Drossopoulou. Baby J: From object based to class based programming via types. Electronic Notes in Theoretical Computer Science, 82(7), 2003.
4. John Aycock. Aggressive type inference. In International Python Conference, 2000.
5. Kent Beck. Smalltalk: Best Practice Patterns. Prentice-Hall, 1997.
6. Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strniša, Jan Vitek, and Tobias Wrigstad. Thorn-robust, concurrent, extensible scripting on the JVM. In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2009.
7. Gilad Bracha. Pluggable type systems. OOPSLA04, Workshop on Revival of Dynamic Languages, 2004.
8. Gilad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1993.
9. Patrick Camphuijsen, Jurriaan Hage, and Stefan Holdermans. Soft typing PHP. Technical report, Utrecht University, 2009.
10. Luca Cardelli. Structural Subtyping and the Notion of Power Type. In Symposium on Principles of Programming Languages (POPL), 1988.
11. Robert Cartwright. User-defined data types as an aid to verifying LISP programs. In International Colloquium on Automata, Languages and Programming (ICALP), pages 228-256, 1976.
12. Robert Cartwright and Mike Fagan. Soft Typing. In Conference on Programming language design and implementation (PLDI), 1991.
13. The Computer Language Benchmarks Game. http://shootout.alioth.debian.org/ .
14. Robert Bruce Findler and Matthias Felleisen. Contracts for higher-order functions. In International Conference on Functional Programming (ICFP), 2002.
15. Cormac Flanagan. Hybrid type checking. In Symposium on Principles of Programming Languages (POPL), 2006.
16. Cormac Flanagan. ValleyScript: It's like static typing. Technical report, UC Santa Cruz, 2007.
17. Michael Furr, Jong hoon An, Jeffrey Foster, and Michael Hicks. Static type inference for ruby. In Symposium in Applied Computing (SAC), 2009.
18. Kathryn E. Gray, Robert Bruce Findler, and Matthew Flatt. Finegrained interoperability through mirrors and contracts. In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 231-245, 2005. (Pubitemid 43176846)
19. David Herman, Aaron Tomb, and Cormac Flanagan. Space-efficient gradual typing. In Trends in Functional Programming (TFP), 2007.
20. Alex Holkner and James Harland. Evaluating the dynamic behaviour of Python applications. In Australasian Computer Science Conference (ACSC), 2009.
21. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Feather-weight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3), 2001.
22. Adobe Systems Inc. ActionScript 3.0 Language and Components Reference, 2008.
23. Giovanni Lagorio and Elena Zucca. Just: Safe unknown types in Javalike languages. Journal of Object Technology, 6(2), 2007.
24. Sven-Olof Nystrǒm. A soft-typing system for Erlang. In Erlang Workshop, 2003.
25. Sean B. Palmer. Pwyky (A Python Wiki).
26. Jeremy Siek and Walid Taha. Gradual typing for objects. In European Conference on Object Oriented Programming (ECOOP), 2007.
27. Jeremy Siek and Philip Wadler. Threesomes, with and without blame. In Script to Program Evolution (STOP), 2009.
28. Jeremy G. Siek. Gradual Typing for Functional Languages. In Scheme and Functional Programming Workshop, 2006.
29. Jeremy G. Siek, Ronald Garcia, and Walid Taha. Exploring the design space of higher-order casts. In European Symposium on Programming (ESOP), 2009.
30. Jeremy G. Siek and Manish Vachharajani. Gradual typing with unification-based inference. In Symposium on Dynamic languages (DLS), 2008.
31. Ed Stephenson. Perl Runs Sweden's Pension System. O'Reilly Media, 2001.
32. Sam Tobin-Hochstadt and Matthias Felleisen. Interlanguage migration: From scripts to programs. In Symposium on Dynamic languages (DLS), 2006.
33. Sam Tobin-Hochstadt and Matthias Felleisen. The design and implementation of Typed Scheme. In Symposium on Principles of Programming Languages (POPL), 2008.
34. Philip Wadler and Robert Bruce Findler. Well-typed programs can't be blamed. In European Symposium on Programming (ESOP), 2009.
35. Ulf Wiger. Four-fold increase in productivity and quality. In Workshop on Formal Design of Safety Critical Embedded Systems, 2001.
36. Andrew K. Wright and Robert Cartwright. A practical soft type system for Scheme. In Conference on LISP and Functional programming, pages 250-262, 1994.