• Publications
  • Influence
PsyScope: An interactive graphic system for designing and controlling experiments in the psychology laboratory using Macintosh computers
TLDR
The overall organization of the PsyScope program is described, an example of how a simple experiment can be constructed within its graphic environment is provided, and some of its technical features are discussed. Expand
Semantics Engineering with PLT Redex
TLDR
This text is the first comprehensive presentation of reduction semantics in one volume and introduces the first reliable and easy-to-use tool set for such forms of semantics, and presents a framework for the formulation of language models as PLT Redex models. Expand
Classes and mixins
TLDR
A model of class-to-class functions that refers to as mixins is developed, which is an intuitive model of an essential Java subset; an extension that explains and models mixins; and type soundness theorems for these languages. Expand
Jiazzi: new-age components for old-fasioned Java
TLDR
Jiazzi is presented, a system that enables the construction of large-scale binary components in Java with added support for external linking and separate compilation, and how type checking works. Expand
DrScheme: a programming environment for Scheme
TLDR
Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper, a context-sensitive syntax checker, and a static debugger that explains specific inferences in terms of a value-flow graph, selectively overlaid on the program text. Expand
How to design programs: an introduction to programming and computing
TLDR
This introduction to programming places computer science in the core of a liberal arts education and focuses on the program design process, which fosters a variety of skills -- critical reading, analytical thinking, creative synthesis, and attention to detail -- that are important for everyone, not just future computer programmers. Expand
PLT MzScheme: Language Manual
Units: cool modules for HOT languages
TLDR
This paper presents models of program units, MzScheme's module language for assembly-line programming, that support separate compilation, independent module reuse, cyclic dependencies, hierarchical structuring, and dynamic linking. Expand
Revised6 Report on the Algorithmic Language Scheme
TLDR
Scheme demonstrates that a very small number of rules for forming expressions, with no restrictions on how they are composed, suffice to form a practical and efficient programming language that is flexible enough to support most of the major programming paradigms in use today. Expand
A Programmer's Reduction Semantics for Classes and Mixins
TLDR
A model of class-to-class functions that refers to as mixins is developed, which is an intuitive model of an essential Java subset; an extension that explains and models mixins; and type soundness theorems for these languages. Expand
...
1
2
3
4
5
...