Search Results
Showing 1 - 10 of 54 results
Search Results
The semantics of destructive Lisp
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.L23 M37 1986 | ✔ Available |
A practical formal semantic definition and verification system for TYPED LISP
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.L23 C37 1980 | ✔ Available |
Symbolic computing with Lisp
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.L23 C36 1992 | ✔ Available |
LISP in small pieces
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.L23 Q4613 1996 | ✔ Available |
LISP, a portable implementation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.L23 H47 1989 | ✔ Available |