5570 results in Programming Languages and Applied Logic
1 - Getting started
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 1-20
-
- Chapter
- Export citation
8 - Imperative features
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 175-196
-
- Chapter
- Export citation
2 - Values, operators, expressions and functions
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 21-42
-
- Chapter
- Export citation
References
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 353-354
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp i-iv
-
- Chapter
- Export citation
3 - Tuples, records and tagged values
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 43-66
-
- Chapter
- Export citation
5 - Collections: Lists, maps and sets
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 93-120
-
- Chapter
- Export citation
6 - Finite trees
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 121-148
-
- Chapter
- Export citation
Appendix A - Programs from the keyword example
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 339-345
-
- Chapter
- Export citation
11 - Sequences
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 251-278
-
- Chapter
- Export citation
Appendix C - The dialogue program from Chapter 13
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp 350-352
-
- Chapter
- Export citation
Contents
-
- Book:
- Functional Programming Using F#
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013, pp v-viii
-
- Chapter
- Export citation
Functional Programming Using F#
-
- Published online:
- 05 May 2013
- Print publication:
- 13 May 2013
6 - Metrics, quasi-metrics, hemi-metrics
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 203-259
-
- Chapter
- Export citation
3 - A first tour of topology: metric spaces
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 18-45
-
- Chapter
- Export citation
7 - Completeness
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 260-340
-
- Chapter
- Export citation
References
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 475-479
-
- Chapter
- Export citation
4 - Topology
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 46-119
-
- Chapter
- Export citation
2 - Elements of set theory
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 4-17
-
- Chapter
- Export citation
Contents
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp v-vi
-
- Chapter
- Export citation