5570 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Joy with Java
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023, pp xxxv-xxxviii
-
- Chapter
- Export citation
![](http://assets.cambridge.org/97810092/11918/cover/9781009211918.jpg)
Joy with Java
- Fundamentals of Object Oriented Programming
-
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023
-
- Textbook
- Export citation
6 - Exception Handling
-
- Book:
- Joy with Java
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023, pp 360-424
-
- Chapter
- Export citation
Index
-
- Book:
- Joy with Java
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023, pp 755-766
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Joy with Java
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023, pp xxxix-xl
-
- Chapter
- Export citation
3 - Encapsulation
-
- Book:
- Joy with Java
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023, pp 146-206
-
- Chapter
- Export citation
9 - Generic Programming
-
- Book:
- Joy with Java
- Published online:
- 08 November 2023
- Print publication:
- 15 June 2023, pp 654-754
-
- Chapter
- Export citation
11 - Asynchronous Communication
- from Part III - Extensions and Variations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 191-200
-
- Chapter
- Export citation
2 - Simple Choreographies
- from Part I - Foundations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 39-54
-
- Chapter
- Export citation
List of Notations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp xi-xiv
-
- Chapter
- Export citation
1 - Inference Systems
- from Part I - Foundations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 15-38
-
- Chapter
- Export citation
This Book
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 8-10
-
- Chapter
- Export citation
Solutions to Selected Exercises
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 213-218
-
- Chapter
- Export citation
References
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 219-226
-
- Chapter
- Export citation
Part II - Computation
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 91-94
-
- Chapter
- Export citation
3 - Simple Processes
- from Part I - Foundations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 55-75
-
- Chapter
- Export citation
12 - Discussion and Further Reading
- from Part III - Extensions and Variations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 201-212
-
- Chapter
- Export citation
9 - Conservative Extensions
- from Part III - Extensions and Variations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 179-183
-
- Chapter
- Export citation
8 - Properties of Choreographies and Endpoint Projection
- from Part II - Computation
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 156-176
-
- Chapter
- Export citation
Introduction: Alice, Bob, Concurrency, and Distribution
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 1-7
-
- Chapter
- Export citation