Thompson, Simon (1999) Proof. In: Hammond, Kevin and Michaelson, Greg, eds. Research Directions in Parallel Functional Programming. Springer Verlag, pp. 93-119. ISBN 1-85233-092-9. (Full text available)
Download (236kB)
Preview
|
|
Item Type: | Book section |
---|---|
Uncontrolled keywords: | parallel functional programming survey |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Faculties > Sciences > School of Computing > Theoretical Computing Group |
Depositing User: | Mark Wheadon |
Date Deposited: | 08 Sep 2009 16:20 UTC |
Last Modified: | 24 Aug 2014 16:59 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21751 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):