5570 results in Programming Languages and Applied Logic
Chapter 13 - Reasoning about programs
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 139-155
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp i-vi
-
- Chapter
- Export citation
Preface
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp xii-xiii
-
- Chapter
- Export citation
Chapter 8 - Functional parsers
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 74-86
-
- Chapter
- Export citation
Chapter 11 - The countdown problem
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 116-123
-
- Chapter
- Export citation
Chapter 10 - Declaring types and classes
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 99-115
-
- Chapter
- Export citation
Chapter 12 - Lazy evaluation
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 124-138
-
- Chapter
- Export citation
Chapter 9 - Interactive programs
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 87-98
-
- Chapter
- Export citation
Programming in Haskell
-
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007
-
- Book
- Export citation
Chapter 7 - Higher-order functions
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 61-73
-
- Chapter
- Export citation
Chapter 3 - Types and classes
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 17-29
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp i-iv
-
- Chapter
- Export citation
8 - Top-down search with passive constraints
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 133-154
-
- Chapter
- Export citation
6 - Constraint programming: a primer
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 89-109
-
- Chapter
- Export citation
10 - Constraint propagation in ECLipse
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 185-204
-
- Chapter
- Export citation
Contents
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp v-viii
-
- Chapter
- Export citation
Solutions to selected exercises
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 305-319
-
- Chapter
- Export citation
Introduction
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp ix-xvi
-
- Chapter
- Export citation
Part I - Logic programming paradigm
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 1-2
-
- Chapter
- Export citation
13 - Constraints on reals
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 256-277
-
- Chapter
- Export citation