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