5570 results in Programming Languages and Applied Logic
Index
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 487-494
-
- Chapter
- Export citation
2 - Inductive Definitions
- from Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 12-20
-
- Chapter
- Export citation
44 - Type Abstractions and Type Classes
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 409-421
-
- Chapter
- Export citation
Part V - Types and Propositions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 93-94
-
- Chapter
- Export citation
Part XVI - Concurrency and Distribution
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 357-358
-
- Chapter
- Export citation
Preface to the Second Edition
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp xv-xvi
-
- Chapter
- Export citation
23 - Hybrid Typing
- from Part IX - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 198-204
-
- Chapter
- Export citation
16 - System F of Polymorphic Types
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 137-145
-
- Chapter
- Export citation
5 - Dynamics
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 39-47
-
- Chapter
- Export citation
Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 433-434
-
- Chapter
- Export citation
10 - Product Types
- from Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 79-84
-
- Chapter
- Export citation
46 - Equality for System T
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 435-444
-
- Chapter
- Export citation
9 - System T of Higher-Order Recursion
- from Part III - Total Functions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 69-76
-
- Chapter
- Export citation
43 - Singleton Kinds and Subkinding
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 399-408
-
- Chapter
- Export citation
8 - Function Definitions and Values
- from Part III - Total Functions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 61-68
-
- Chapter
- Export citation
15 - Inductive and Coinductive Types
- from Part VI - Infinite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 125-134
-
- Chapter
- Export citation
References
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 479-486
-
- Chapter
- Export citation
33 - Dynamic Classification
- from Part XIII - Symbolic Data
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 291-298
-
- Chapter
- Export citation
21 - The Untyped λ-Calculus
- from Part IX - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 181-188
-
- Chapter
- Export citation
25 - 25 Behavioral Typing
- from Part X - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 219-232
-
- Chapter
- Export citation