David Woodruff, a professor in CMU's Computer Science Department, and Samson Zhou from Texas A&M University received a ...

The control structures that test Boolean values only test for whether or not the value is nil, which is considered to be false. Any other value is considered to be true. Often a predicate will return ...

PREFACE: The language defined by the first edition contained an enormous lacuna: although facilities were specified for signaling errors, no means was defined for handling errors. This occurred not ...

This course covers the design and implementation of compiler and runtime systems for high-level languages, and examines the interaction between language design, compiler design, and runtime ...

Textbooks Lectures are intended to be self-contained. For supplementary readings, with each lecture, we will have pointers to chapters from the following books: ...

This is a list of sites that maintain copies of the WWW version of "Common Lisp the Language, 2nd Edition". Please use the site that is closest to you.

The do special form provides a generalized iteration facility, with an arbitrary number of ``index variables.'' These variables are bound within the iteration and stepped in parallel in specified ways ...

ALGORITHMIC RESULTS IN LIST DECODING, Foundations and Trends® in Theoretical Computer Science, Volume 2, Issue 2, 2007. You can download a free copy of the book (for ...

For now, we will not be using the main OH queue until it stabilizes a bit. We hope to use it again later this semester.

This course covers the design and implementation of compiler and runtime systems for high-level languages, and examines the interaction between language design, compiler design, and runtime ...

I am a software engineer on the Tools and Simulation team at Pixar. I completed my PhD in 2021 at CMU's Computer Science Department, with Keenan Crane as my advisor. These publications emerged in part ...