5570 results in Programming Languages and Applied Logic
4 - Lists
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 63-88
-
- Chapter
- Export citation
7 - Efficiency
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 145-180
-
- Chapter
- Export citation
Index
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 338-344
-
- Chapter
- Export citation
6 - Proofs
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 110-144
-
- Chapter
- Export citation
2 - Expressions, types and values
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 22-48
-
- Chapter
- Export citation
10 - Imperative functional programming
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 239-275
-
- Chapter
- Export citation
8 - Preety-printing
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 181-209
-
- Chapter
- Export citation
Thinking Functionally with Haskell
-
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014
3 - Numbers
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 49-62
-
- Chapter
- Export citation
5 - A simple Sudoku solver
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 89-109
-
- Chapter
- Export citation
9 - Infinite lists
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 210-238
-
- Chapter
- Export citation
Contents
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp v-viii
-
- Chapter
- Export citation
11 - Parsing
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 276-297
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp i-iv
-
- Chapter
- Export citation
12 - A simple equational calculator
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 298-337
-
- Chapter
- Export citation
7 - The SHIQ tableau algorithm
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 346-404
-
- Chapter
- Export citation
1 - The World Wide Web today
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 9-51
-
- Chapter
- Export citation
8 - The Web Ontology Language
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 407-450
-
- Chapter
- Export citation
Part III - Ontologies and the Semantic Web
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 405-406
-
- Chapter
- Export citation
Contents
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp v-viii
-
- Chapter
- Export citation