5570 results in Programming Languages and Applied Logic
Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 381-382
-
- Chapter
- Export citation
34 - Dynamic Classification
- from Part XII - Symbols
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 276-282
-
- Chapter
- Export citation
35 - Modernized Algol
- from Part XIII - State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 285-294
-
- Chapter
- Export citation
17 - The Untyped λ-Calculus
- from Part VI - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 127-133
-
- Chapter
- Export citation
21 - Abstract Types
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 162-169
-
- Chapter
- Export citation
10 - Plotkin's PCF
- from Part III - Function Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 71-78
-
- Chapter
- Export citation
Appendix: Finite Sets and Finite Functions
- from Part XIX - Appendix
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 455-456
-
- Chapter
- Export citation
Preface
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp xvii-xviii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp i-iv
-
- Chapter
- Export citation
13 - Pattern Matching
- from Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 93-101
-
- Chapter
- Export citation
Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 323-324
-
- Chapter
- Export citation
11 - Product Types
- from Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 81-85
-
- Chapter
- Export citation
27 - Control Stacks
- from Part X - Exceptions and Continuations
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 217-223
-
- Chapter
- Export citation
Part IX - Classes and Methods
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 199-200
-
- Chapter
- Export citation
30 - Constructive Logic
- from Part XI - Types and Propositions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 241-248
-
- Chapter
- Export citation
Part III - Function Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 55-56
-
- Chapter
- Export citation
Part X - Exceptions and Continuations
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 215-216
-
- Chapter
- Export citation
33 - Fluid Binding
- from Part XII - Symbols
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 269-275
-
- Chapter
- Export citation
43 - Distributed Algol
- from Part XVI - Concurrency
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 373-380
-
- Chapter
- Export citation
1 - Syntactic Objects
- from Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 February 2013
- Print publication:
- 17 December 2012, pp 3-10
-
- Chapter
- Export citation