5570 results in Programming Languages and Applied Logic
Part X - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 205-206
-
- Chapter
- Export citation
11 - Sum Types
- from Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 85-92
-
- Chapter
- Export citation
18 - Higher Kinds
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 154-158
-
- Chapter
- Export citation
Part XI - Dynamic Dispatch
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 233-234
-
- Chapter
- Export citation
Preface to the First Edition
-
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp xvii-xviii
-
- Chapter
- Export citation
26 - Classes and Methods
- from Part XI - Dynamic Dispatch
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 235-244
-
- Chapter
- Export citation
39 - Process Calculus
- from Part XVI - Concurrency and Distribution
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 359-374
-
- Chapter
- Export citation
Part VIII - Partiality and Recursive Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 159-160
-
- Chapter
- Export citation
35 - Assignable References
- from Part XIV - Mutable State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 313-322
-
- Chapter
- Export citation
Part XIV - Mutable State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 299-300
-
- Chapter
- Export citation
37 - Nested Parallelism
- from Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 335-349
-
- Chapter
- Export citation
6 - Type Safety
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 48-52
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp i-iv
-
- Chapter
- Export citation
14 - Generic Programming
- from Part VI - Infinite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 119-124
-
- Chapter
- Export citation
Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 333-334
-
- Chapter
- Export citation
30 - Continuations
- from Part XII - Control Flow
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 266-274
-
- Chapter
- Export citation
Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 77-78
-
- Chapter
- Export citation
28 - Control Stacks
- from Part XII - Control Flow
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 253-259
-
- Chapter
- Export citation
22 - Dynamic Typing
- from Part IX - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 189-197
-
- Chapter
- Export citation
Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 31-32
-
- Chapter
- Export citation