When scripts in untyped languages grow into large programs, maintaining them becomes
difficult. A lack of types in typical scripting languages means that programmers must (re) …

The design space of mixed-typed languages is lively but disorganized. On one hand,
researchers across academia and industry have contributed language designs that allow …

Just as some functions have uniform behavior over distinct types, other functions have
uniform behavior over distinct arities. These variable-arity functions are widely used in …

This dissertation introduces and analyzes techniques for writing programs that manipulate
interactive media. By" media" I mean audio, images, and video flowing through a personal …

This report describes the design and implementation of a complete VLSI design rule
checking program. We use formal techniques to develop a methodology for performing …

Practical applications of formal methods research require the integrated use of distinct tools
for reasoning and design. Many approaches to this problem involve embedding specialized …

When scripts in untyped languages grow into large programs, maintaining them becomes
difficult. A lack of explicit type annotations in typical scripting languages forces programmers …

Just as some functions have uniform behavior over distinct types, other functions have
uniform behavior over distinct arities. These variable-arity functions are widely used in many …

This award is for the development of curricular materials and software to support the use of
the Scheme programming language (a modern Lisp dialect) in undergraduate computer …

Programming languages has recently experienced a renaissance, especially in the field of
untyped scripting languages. But when scripts written in untyped languages grow large, they …