5570 results in Programming Languages and Applied Logic
25 - Dynamic Dispatch
- from Part IX - Classes and Methods
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 201-208
-
- Chapter
- Export citation
49 - Parametricity
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 433-445
-
- Chapter
- Export citation
46 - Hierarchy and Parameterization
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 399-410
-
- Chapter
- Export citation
7 - Evaluation Dynamics
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 50-54
-
- Chapter
- Export citation
Part V - Infinite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 107-108
-
- Chapter
- Export citation
31 - Classical Logic
- from Part XI - Types and Propositions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 249-260
-
- Chapter
- Export citation
Part VIII - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 179-180
-
- Chapter
- Export citation
4 - Statics
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 31-35
-
- Chapter
- Export citation
Part XI - Types and Propositions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 239-240
-
- Chapter
- Export citation
47 - Equational Reasoning for T
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 413-423
-
- Chapter
- Export citation
28 - Exceptions
- from Part X - Exceptions and Continuations
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 224-230
-
- Chapter
- Export citation
Index
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 465-471
-
- Chapter
- Export citation
50 - Process Equivalence
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 446-452
-
- Chapter
- Export citation
26 - Inheritance
- from Part IX - Classes and Methods
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 209-214
-
- Chapter
- Export citation
6 - Type Safety
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 45-49
-
- Chapter
- Export citation
Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 149-150
-
- Chapter
- Export citation
41 - Process Calculus
- from Part XVI - Concurrency
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 347-362
-
- Chapter
- Export citation
38 - Polarization
- from Part XIV - Laziness
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 316-322
-
- Chapter
- Export citation
23 - Subtyping
- from Part VIII - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 181-189
-
- Chapter
- Export citation
Practical Foundations for Programming Languages
-
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012