Interlanguage migration: from scripts to programs

  title={Interlanguage migration: from scripts to programs},
  author={Sam Tobin-Hochstadt and Matthias Felleisen},
  booktitle={OOPSLA Companion},
As scripts grow into full-fledged applications, programmers should want to port portions of their programs from scripting languages to languages with sound and rich type systems. This form of interlanguage migration ensures type-safety and provides minimal guarantees for reuse in other applications, too.In this paper, we present a framework for expressing this form of interlanguage migration. Given a program that consists of modules in the untyped lambda calculus, we prove that rewriting one of… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 157 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 105 extracted citations

157 Citations

Citations per Year
Semantic Scholar estimates that this publication has 157 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Common Larceny

William D. Clinger
In International Lisp Conference, • 2005
View 13 Excerpts
Highly Influenced

Pluggable Type Systems

View 4 Excerpts
Highly Influenced

A Practical Soft Type System for Scheme

ACM Trans. Program. Lang. Syst. • 1997
View 5 Excerpts
Highly Influenced

The Python Compiler for CMU Common Lisp

LISP and Functional Programming • 1992
View 4 Excerpts
Highly Influenced

Soft Typing

View 5 Excerpts
Highly Influenced

Gradual Typing for Functional Languages

View 3 Excerpts
Highly Influenced

Dynamic Typing in a Statically Typed Language

ACM Trans. Program. Lang. Syst. • 1991
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…