This paper proposes that the distinguishing characteristic of Aspect-Oriented Programming (AOP)
systems is that they allow programming by making quantified programmatic assertions …

… Larger injections were made via a 1-p1 Hamilton syringe that had a microelectrode cemented
to the barrel (Friedman and Jones, '81). The tip of the electrode was within 0.5 mm of the …

The report gives a defining description of the programming language Scheme. Scheme is a
statically scoped and properly tail-recursive dialect of the Lisp programming language …

… Mary Friedman's gracious hosting of several week-long writing sessions did much to
accelerate our progress. Finally, we are most grateful to our families for tolerating our passion for …

Control operators like J and call/cc are often found in implementations of the A-calculus as a
programming language. Their semantics is always defined by the evaluation function of an …

Early-life adversity is associated with a broad scope of life-long health and behavioral disorders.
Particularly critical is the role of the mother. A possible mechanism is that these effects …

Macro expansion in current Lisp systems is naive with respect to block structure. Every macro
function can cause the capture of free user identifiers and thus corrupt intended bindings. …

… DP FRIEDMAN … We thank Carol Fessenden, Daniel Friedman, and Christopher
Haynes for permission to use text from the Scheme 311 version 4 reference manual. We …

Removal of the representation of a specific body part in the postcentral cortex of the
macaque resulted in the somatic deactivation of the corresponding body part in the second …

… Because Jones and Powell relied on Woolsey's map of S2 (Woolsey and Fairman, '46) to
determine the location of S2, they included portions of area 7b in their S2 (Friedman, '81). So …