5570 results in Programming Languages and Applied Logic
1 - An imperative core
- from Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 10-87
-
- Chapter
- Export citation
Preface
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp ix-xiv
-
- Chapter
- Export citation
Colophon
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 776-776
-
- Chapter
- Export citation
Contents
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp vi-viii
-
- Chapter
- Export citation
9 - Molecule, abstract data types, and modules
- from Part II. - Programming at scale
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 524-607
-
- Chapter
- Export citation
4 - Automatic memory management
- from Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 256-299
-
- Chapter
- Export citation
6 - Type systems for Impcore and μScheme
- from Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 326-399
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97813166/32055/cover/9781316632055.jpg)
Programming Languages
- Build, Prove, and Compare
-
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022
-
- Textbook
- Export citation
Concept index
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 749-775
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp xv-xvi
-
- Chapter
- Export citation
Judgment forms, important functions, & concrete syntax
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp xviii-xix
-
- Chapter
- Export citation
5 - Interlude: μScheme in ML
- from Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 300-325
-
- Chapter
- Export citation
7 - ML and type inference
- from Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 400-452
-
- Chapter
- Export citation
3 - Control operators and a small-step semantics: μScheme+
- from Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 200-255
-
- Chapter
- Export citation
Part II. - Programming at scale
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 453-725
-
- Chapter
- Export citation
Dedication
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp v-v
-
- Chapter
- Export citation
Symbols and notation, in order of appearance
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp xx-xxii
-
- Chapter
- Export citation
Part I. - Foundations
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 9-452
-
- Chapter
- Export citation
Introduction
-
- Book:
- Programming Languages
- Published online:
- 27 January 2023
- Print publication:
- 27 October 2022, pp 1-8
-
- Chapter
- Export citation
4 - Lists and Patterns
- from Part I - Language Concepts
-
- Book:
- Real World OCaml: Functional Programming for the Masses
- Published online:
- 22 September 2022
- Print publication:
- 13 October 2022, pp 50-65
-
- Chapter
-
- You have access
- Open access
- Export citation