|
Burstall RM, MacQueen DB and Sanella DT, 1980, HOPE: An experimental applicative language. Technical Report CSR-62–80, Department of Computer Science, University of Edinburgh. |
|
Bradley E, 1988a, ALICE progress: Applications study. Technical Report AIAI/PSG123/88, AIAI, University of Edinburgh. |
|
Bradley E, 1988b, “An overview of the ALICE system at AIAI” airing5. |
|
Cripps MD, Darlington J, Field AJ, Harrison PG and Reeve MJ, 1987, The design and implementation of ALICE: A parallel graph reduction machine. Technical report, ICST. |
|
Church A, 1941, The Calculi of Lambda Conversion, Princeton University Press, Princeton, NJ. |
|
Gabriel RP, 1985Performance and Evaluation of Lisp Systems, Computer Systems Series, The MIT Press. |
|
Glaser H, 1987, ALICE Hope Interpreter User Manual. Technical Report IC/FPR/DOC/4, ICST. |
|
Harper R, 1986, Introduction to Standard ML. Technical Report ECS-LFCS-86–14, LFCS, University of Edinburgh. |
|
Harper R, MacQueen D and Milner R, 1986, Standard ML, Technical Report ECS-LFCS-86–2, LFCS, University of Edinburgh. |
|
Hopkins S, Michaelson GJ and Wallace AM, 1989, “Parallel imperative and functional approaches to visual scene labelling”, Image & Vision Computing, 7(3) 178–193. |
|
Perry N, 1987, Hope+C: A continuation extension for Hope+. Technical Report IC/FPR/LANG2.5.1/21, ICST. |
|
Perry N, 1988, Hope+. Technical Report IC/FPR/LANG/2.5.1/17, ICST. |
|
Prideaux T, 1987, ALICE Hope User Manual. Technical Report IC/FPR/DOC/1, ICST. |
|
Perry N and Sephton KM, 1988, Hope+ Compiler Release 3.2 (SUN3 UNIX). Technical Report IC/FPR/ LANG/2.5.1/14, ICST. |
|
Trehan R, 1988, A Comparison of Committed Choice Non-Deterministic Logic Languages through the Prolog Equation Solving System (PRESS). Technical Report AIAI-PR-13, AIAI, University of Edinburgh. |
|
Turner D, 1985, “Miranda: a non-strict functional language with polymorphic types” In: IFIP International Conference on Functional Programming Languages and Computer Architectures. |
|
Turner D, 1986, “An overview of Miranda” SIGPLAN Notices. |
|
Wikström Å, 1987, Functional Programming Using Standard ML, Prentice-Hall. |