Interlanguage migration: From scripts to programs

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 2006, Issue , 2006, Pages 964-974

  Tobin Hochstadt, Sam ^a   Felleisen, Matthias ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

Author keywords

calculus; Contract; Interlanguage migration; Module systems

Indexed keywords

INTERLANGUAGE MIGRATION; MODULE SYSTEMS; RICH TYPE SYSTEMS; SCRIPTING LANGUAGES;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DIFFERENTIATION (CALCULUS);

OBJECT ORIENTED PROGRAMMING;

EID: 34248326427     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176617.1176755     Document Type: Conference Paper

References (30)

1. Martin Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst., 13(2):237-268, 1991.
2. Alexander Aiken, Edward L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 163-173, New York, NY, USA, 1994. ACM Press.
3. Ken Anderson, Timothy Hickey, and Peter Norvig. JScheme user manual, 2002. http://jscheme.sf.net.
4. Arthur I. Baars and S. Doaitse Swierstra. Typing dynamic typing. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pages 157-166, New York, NY, USA, 2002. ACM Press.
5. Kent Beck. Test Driven Development: By Example. Addison-Wesley Professional, November 2002.
6. Gilad Bracha. Pluggable type systems. In Revival of Dynamic Languages workshop at OOPSLA 2004, October 2004.
7. Gilad Bracha and David Griswold. Strongtalk: typechecking Smalltalk in a production environment. In OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pages 215-230, New York, NY, USA, 1993. ACM Press.
8. Frederick P. Brooks Jr. The Mythical Man-Month. Addison Wesley, 1995. Anniversary Edition.
9. Robert Cartwright and Mike Fagan. Soft typing. In PLDI '91: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pages 278-292, New York, NY, USA, 1991. ACM Press.
10. William D. Clinger. Common Larceny. In International Lisp Conference, pages 101-107, June 2005. Invited paper.
11. Robert Bruce Findler and Matthias Felleisen. Contracts for higher-order functions. In ICFP '02: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, pages 48-59, New York, NY, USA, 2002. ACM Press.
12. Cormac Flanagan and Matthias Felleisen. Componential set-based analysis. ACM Trans. Program. Lang. Syst., 21(2):370-416, 1999.
13. Kathryn E. Gray, Robert Bruce Findler, and Matthew Flatt. Finegrained interoperability through mirrors and contracts. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object Oriented Programming, Systems, Languages, and Applications, pages 231-245, New York, NY, USA, 2005. ACM Press.
14. Groovy, 2004-2006. http://groovy.codehaus.org.
15. Fritz Henglein and Jakob Rehof. Safe polymorphic type inference for a dynamically typed language: translating Scheme to ML. In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture, pages 192-203, New York, NY, USA, 1995. ACM Press.
16. Jim Hugunin. IronPython, 2003-2006. http://www.ironpython.com.
17. Jython, 2003-2006. http://www.jython.com.
18. Xavier Leroy and Michel Mauny. Dynamics in ML. In Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, pages 406-426, London, UK, 1991. Springer-Verlag.
19. Vassily Litvinov. Contraint-based polymorphism in Cecil: towards a practical and static type system. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 388-411, New York, NY, USA, 1998. ACM Press.
20. Robert A. MacLachlan. The Python compiler for CMU Common Lisp. In LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programming, pages 235-246, New York, NY, USA, 1992. ACM Press.
21. Simon Marlow and Philip Wadler. A practical subtyping system for Erlang. In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pages 136-149, New York, NY, USA, 1997. ACM Press.
22. Jacob Matthews and Robert Bruce Findler. The Meaning of Multi-Language Programs, 2006. Unpublished manuscript.
23. Philippe Meunier, Robert Bruce Findler, and Matthias Felleisen. Modular set-based analysis from contracts. In POPL '06: Conference Record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 218-231, New York, NY, USA, 2006. ACM Press.
24. Robin Milner. A theory of type polymorphism in programming. Journal of Computer Systems Science, 17:348-375, 1978.
25. Manuel Serrano. Bigloo: A practical Scheme compiler, 1992-2002.
26. Jeremy G. Siek and Walid Taha. Gradual typing for functional languages. In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, New York, NY, USA, 2006. ACM Press.
27. Dorai Sitaram. ScheLog, http://www.ccs.neu.edu/home/dorai/schelog/ schelog.html 1993-2004.
28. Guy Lewis Steele Jr. Common Lisp-The Language. Digital Press, 1984.
29. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification (Second Edition). Sun Microsystems, 1999.
30. Andrew K. Wright and Robert Cartwright. A practical soft type system for scheme. ACM Trans. Program. Lang. Syst., 19(1):87-152, 1997.