5571 results in Programming Languages and Applied Logic
2 - Lisp, 1, 2, … ω
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 31-70
-
- Chapter
- Export citation
Index
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 495-514
-
- Chapter
- Export citation
1 - The Basics of Interpretation
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 1-30
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 481-494
-
- Chapter
- Export citation
2 - Names, Functions and Types
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 17-68
-
- Chapter
- Export citation
Syntax Charts
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 457-468
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp i-iv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp i-iv
-
- Chapter
- Export citation
3 - Escape & Return: Continuations
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 71-110
-
- Chapter
- Export citation
Lisp in Small Pieces
-
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996
Project Suggestions
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 445-448
-
- Chapter
- Export citation
5 - Functions and Infinite Data
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 171-212
-
- Chapter
- Export citation
Contents
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp v-xii
-
- Chapter
- Export citation
6 - Fast Interpretation
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 183-222
-
- Chapter
- Export citation
5 - Denotational Semantics
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 147-182
-
- Chapter
- Export citation
To the Reader
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp xiii-xx
-
- Chapter
- Export citation
10 - A Tactical Theorem Prover
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 397-444
-
- Chapter
- Export citation
Index
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 469-476
-
- Chapter
- Export citation
4 - Trees and Concrete Data
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 123-170
-
- Chapter
- Export citation
Preface to the Second Edition
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp xiii-xiv
-
- Chapter
- Export citation