Gradual type systems offer a smooth continuum between static and dynamic ty** by
permitting the free mixture of typed and untyped code. The runtime systems for these …

We present Pycket, a high-performance tracing JIT compiler for Racket. Pycket supports a
wide variety of the sophisticated features in Racket such as contracts, continuations, classes …

Syntactic sugar is pervasive in language technology. It is used to shrink the size of a core
language; to define domain-specific languages; and even to let programmers extend their …

Most programming languages provide abstractions for non-local control flow and access to
the stack by using continuations, coroutines, or generators. However, their unrestricted use …

Negation is not involutive in the λC calculus because it does not distinguish captured stacks
from continuations. We show that there is a formulae-as-types correspondence between the …

Web sites and web browsers have recently evolved into platforms on top of which entire
applications are delivered dynamically, mostly as JavaScript source code. This delivery …

Learning to write programs is hard, but many fail to even learn basic program reading skills,
such as mentally tracing a program to predict its behavior. This dissertation argues a new …

We present a small-step abstract interpretation for the A-Normal Form λ-calculus (ANF). This
abstraction has been instrumented to find data-dependence conflicts for expressions and …

MzScheme's continuation marks provide a flexible mechanism for implementing a number of
useful language features and tools. We demonstrate the simplicity and utility of continuation …

The past few years have seen a growing trend in application development toward" web
applications", a fuzzy category of programs that currently (but not necessarily) run within web …