5570 results in Programming Languages and Applied Logic
4 - Defining functions
- from Part I - Basic Concepts
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 38-46
-
- Chapter
- Export citation
14 - Foldables and friends
- from Part II - Going Further
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 196-211
-
- Chapter
- Export citation
8 - Declaring types and classes
- from Part I - Basic Concepts
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 92-110
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Programming in Haskell
- Published online:
- 28 May 2018
- Print publication:
- 01 September 2016, pp 298-299
-
- Chapter
- Export citation
Lectures on Infinitary Model Theory
-
- Published online:
- 05 August 2016
- Print publication:
- 27 October 2016
17 - Abstract Types
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 146-153
-
- Chapter
- Export citation
42 - Modularity and Linking
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 395-398
-
- Chapter
- Export citation
Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 1-2
-
- Chapter
- Export citation
47 - Equality for System PCF
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 445-453
-
- Chapter
- Export citation
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