1763 results in Software Engineering and Development
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
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