1763 results in Software Engineering and Development
31 - Symbols
- from Part XIII - Symbolic Data
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 277-283
-
- Chapter
- Export citation
29 - Exceptions
- from Part XII - Control Flow
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 260-265
-
- Chapter
- Export citation
38 - Futures and Speculations
- from Part XV - Parallelism
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 350-356
-
- Chapter
- Export citation
7 - Evaluation Dynamics
- from Part II - Statics and Dynamics
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 53-58
-
- Chapter
- Export citation
Part XIX - Appendices
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 475-476
-
- Chapter
- Export citation
48 - Parametricity
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 454-466
-
- Chapter
- Export citation
Part VI - Infinite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 117-118
-
- Chapter
- Export citation
36 - Lazy Evaluation
- from Part XIV - Mutable State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 323-332
-
- Chapter
- Export citation
Part XII - Control Flow
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 251-252
-
- Chapter
- Export citation
34 - Modernized Algol
- from Part XIV - Mutable State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 301-312
-
- Chapter
- Export citation
1 - Abstract Syntax
- from Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 3-11
-
- Chapter
- Export citation
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