1763 results in Software Engineering and Development
Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 433-434
-
- Chapter
- Export citation
10 - Product Types
- from Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 79-84
-
- Chapter
- Export citation
46 - Equality for System T
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 435-444
-
- Chapter
- Export citation
9 - System T of Higher-Order Recursion
- from Part III - Total Functions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 69-76
-
- Chapter
- Export citation
43 - Singleton Kinds and Subkinding
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 399-408
-
- Chapter
- Export citation
8 - Function Definitions and Values
- from Part III - Total Functions
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 61-68
-
- Chapter
- Export citation
15 - Inductive and Coinductive Types
- from Part VI - Infinite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 125-134
-
- Chapter
- Export citation
References
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 479-486
-
- Chapter
- Export citation
33 - Dynamic Classification
- from Part XIII - Symbolic Data
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 291-298
-
- Chapter
- Export citation
21 - The Untyped λ-Calculus
- from Part IX - Dynamic Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 181-188
-
- Chapter
- Export citation
25 - 25 Behavioral Typing
- from Part X - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 219-232
-
- Chapter
- Export citation
Part X - Subtyping
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 205-206
-
- Chapter
- Export citation
11 - Sum Types
- from Part IV - Finite Data Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 85-92
-
- Chapter
- Export citation
18 - Higher Kinds
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 154-158
-
- Chapter
- Export citation
Part XI - Dynamic Dispatch
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 233-234
-
- Chapter
- Export citation
Preface to the First Edition
-
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp xvii-xviii
-
- Chapter
- Export citation
26 - Classes and Methods
- from Part XI - Dynamic Dispatch
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 235-244
-
- Chapter
- Export citation
39 - Process Calculus
- from Part XVI - Concurrency and Distribution
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 359-374
-
- Chapter
- Export citation
Part VIII - Partiality and Recursive Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 159-160
-
- Chapter
- Export citation
35 - Assignable References
- from Part XIV - Mutable State
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 313-322
-
- Chapter
- Export citation