T-Shirts for "Semantic Models for Programming Languages"

These T-shirts are used in the course Computer Science 641, Semantic Models for Programming Languages as I have taught it in Fall 1992, and Fall 1994 (and will be teaching in Springs every other year starting in 1998). Some of these were used in other courses.

The images of the T-Shirts (and sweatshirts and dress shirts) are arranged in some order corresponding to recent versions of the course. Clicking on one of the links will display a (fairly large) JPEG image of the front or back of the shirt.

Syntactic sugars [front] [back]
Lambda abstraction and closures [front] [back]
BeCecil (a multimethod language, see my research page) [front] [back]
Operational Semantics dress shirt
Predicate Calculus Axioms [front] [back] (the baseball cap means "no C", it's not anti-Cubs :-).
The fixed point theorem [front] [back]

Gary T. Leavens

Last update $Date: 1998/01/14 20:34:06 $