5570 results in Programming Languages and Applied Logic
24 - Singleton Kinds
- from Part VIII - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 190-198
-
- Chapter
- Export citation
22 - Constructors and Kinds
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 170-178
-
- Chapter
- Export citation
Part XII - Symbols
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 261-262
-
- Chapter
- Export citation
36 - Assignable References
- from Part XIII - State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 295-304
-
- Chapter
- Export citation
40 - Futures and Speculations
- from Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 337-344
-
- Chapter
- Export citation
8 - Function Definitions and Values
- from Part III - Function Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 57-63
-
- Chapter
- Export citation
Part XIV - Laziness
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 305-306
-
- Chapter
- Export citation
44 - Components and Linking
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 383-386
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 457-464
-
- Chapter
- Export citation
19 - Hybrid Typing
- from Part VI - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 142-148
-
- Chapter
- Export citation
Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 29-30
-
- Chapter
- Export citation
Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 1-2
-
- Chapter
- Export citation
32 - Symbol
- from Part XII - Symbols
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 263-268
-
- Chapter
- Export citation
29 - Continuations
- from Part X - Exceptions and Continuations
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 231-238
-
- Chapter
- Export citation
Part XVI - Concurrency
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 345-346
-
- Chapter
- Export citation
20 - Girard's System F
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 151-161
-
- Chapter
- Export citation
Part XIX - Appendix
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 453-454
-
- Chapter
- Export citation
48 - Equational Reasoning for PCF
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 424-432
-
- Chapter
- Export citation
Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 79-80
-
- Chapter
- Export citation
37 - Lazy Evaluation
- from Part XIV - Laziness
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 307-315
-
- Chapter
- Export citation