Evidence suggests that binding, or encoding a feature with respect to other features in time and space, can convey cognitive advantages. However, evidence across many kinds of stimuli and paradigms presents a mixed picture, alternatively showing cognitive costs or cognitive advantages associated with maintaining bound representations. We examined memory for colored letters drawn from similar an...

This paper presents the outline of a module system for the Scheme programming language in order to solve several problems commonly encountered with contemporary implementations. These problems include the lack of support for separate compilation and crossmodule type checking as well as the necessity for non-standard language extensions to aid certain compiler optimizations like open compilation...

A new generalization of the classical separate algebraicity theorem is suggested and proved.