5570 results in Programming Languages and Applied Logic
13 - Classical Logic
- from Part V - Types and Propositions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 104-116
-
- Chapter
- Export citation
12 - Constructive Logic
- from Part V - Types and Propositions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 95-103
-
- Chapter
- Export citation
Part IX - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 179-180
-
- Chapter
- Export citation
20 - System FPC of Recursive Types
- from Part VIII - Partiality and Recursive Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 171-178
-
- Chapter
- Export citation
Part III - Total Functions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 59-60
-
- Chapter
- Export citation
3 - Hypothetical and General Judgments
- from Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 21-30
-
- Chapter
- Export citation
41 - Distributed Algol
- from Part XVI - Concurrency and Distribution
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 385-392
-
- Chapter
- Export citation
Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 393-394
-
- Chapter
- Export citation
45 - Hierarchy and Parameterization
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 422-432
-
- Chapter
- Export citation
19 - System PCF of Recursive Functions
- from Part VIII - Partiality and Recursive Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 161-170
-
- Chapter
- Export citation
32 - Fluid Binding
- from Part XIII - Symbolic Data
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 284-290
-
- Chapter
- Export citation
A Background on Finite Sets
- from Part XIX - Appendices
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 477-478
-
- Chapter
- Export citation
40 - Concurrent Algol
- from Part XVI - Concurrency and Distribution
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 375-384
-
- Chapter
- Export citation
49 - Process Equivalence
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 467-474
-
- Chapter
- Export citation
Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 135-136
-
- Chapter
- Export citation
24 - Structural Subtyping
- from Part X - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 207-218
-
- Chapter
- Export citation
Part XIII - Symbolic Data
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 275-276
-
- Chapter
- Export citation
4 - Statics
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 33-38
-
- Chapter
- Export citation
27 - Inheritance
- from Part XI - Dynamic Dispatch
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 245-250
-
- Chapter
- Export citation
Contents
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp v-xiv
-
- Chapter
- Export citation