6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Summary of notation
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp ix-xi
-
- Chapter
- Export citation
5 - Semantics and coherence
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 43-66
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp xii-xii
-
- Chapter
- Export citation
7 - Type classes in Haskell
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 78-100
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp i-iv
-
- Chapter
- Export citation
9 - Summary and future work
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 114-120
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805215/43262/cover/9780521543262.jpg)
Qualified Types
- Theory and Practice
-
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994
Appendix A - Proofs
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 126-147
-
- Chapter
- Export citation
2 - Predicates
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 6-15
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 1-5
-
- Chapter
- Export citation
9 - Finite geometry
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 123-146
-
- Chapter
- Export citation
11 - Graphs
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 159-186
-
- Chapter
- Export citation
20 - Where to from here?
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 325-338
-
- Chapter
- Export citation
2 - On numbers and counting
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 7-20
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 343-346
-
- Chapter
- Export citation
10 - Ramsey's Theorem
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 147-158
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp i-vi
-
- Chapter
- Export citation
13 - More on partitions and permutations
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 209-224
-
- Chapter
- Export citation
3 - Subsets, partitions, permutations
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 21-48
-
- Chapter
- Export citation
Answers to selected exercises
-
- Book:
- Combinatorics
- Published online:
- 28 May 2018
- Print publication:
- 06 October 1994, pp 339-342
-
- Chapter
- Export citation