5570 results in Programming Languages and Applied Logic
5 - Lower bounds from Presburger primitives
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 159-170
-
- Chapter
- Export citation
General index
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 239-243
-
- Chapter
- Export citation
6 - Lower bounds from division with remainder
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 171-190
-
- Chapter
- Export citation
4 - The homomorphism method
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 129-158
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 7-46
-
- Chapter
- Export citation
Contents
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp v-viii
-
- Chapter
- Export citation
3 - Complexity theory for recursive programs
- from Part I - Abstract (first order) recursion
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 103-126
-
- Chapter
- Export citation
Introduction
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 1-6
-
- Chapter
- Export citation
Abstract Recursion and Intrinsic Complexity
-
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018
5 - Syntactic Magic
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 74-83
-
- Chapter
- Export citation
17 - Musical User Interfaces
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 227-261
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp i-iv
-
- Chapter
- Export citation
14 - Random Numbers, Probability Distributions, and Markov Chains
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 193-204
-
- Chapter
- Export citation
16 - Higher-Order Types and Monads
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 211-226
-
- Chapter
- Export citation
Appendix B - Haskell’s Standard Type Classes
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 355-364
-
- Chapter
- Export citation
10 - Self-Similar Music
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 148-155
-
- Chapter
- Export citation
3 - Polymorphic and Higher-Order Functions
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 42-62
-
- Chapter
- Export citation
Appendix E - Haskell Quick Reference
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 370-372
-
- Chapter
- Export citation
23 - Physical Modeling
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 336-345
-
- Chapter
- Export citation
18 - Sound and Signals
-
- Book:
- The Haskell School of Music
- Published online:
- 21 September 2018
- Print publication:
- 04 October 2018, pp 262-281
-
- Chapter
- Export citation