close this section of the libraryftp://ftp.cs.bham.ac.uk (9)
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/papers/divide-and-conquer92.ps.gz, 19931026
1 CHAPTER 2 The Divide-and-Conquer Paradigm as a Basis for Parallel Language Design Tom Axford University of Birmingham, Birmingham B15 2TT, U.K. Published in Advances in Parallel Algorithms, L. Kronsj o and D. Shumsheruddin (eds.), Blackwell 1992. 1 Introduction 1.1 A Brief History Since the earliest
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/papers/parallel-lists93.ps.gz, 19931028
List Processing Primitives for Parallel Computation Tom Axford School of Computer Science, University of Birmingham Birmingham B15 2TT, U.K. Mike Joy Department of Computer Science, University of Warwick Coventry CV4 7AL, U.K. c Copyright TH Axford & MS Joy 1992
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/papers/iconic-combinators93.ps.gz, 19931028
Variable Substitution with Iconic Combinators David Stevens School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 2TT, United Kingdom. Email: djs@cs.bham.ac.uk
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/papers/ginger92.ps.gz, 19931028
AParallel Graph Reduction Machine MikeJoy Department of Computer Science, University of Warwick, COVENTRY, CV4 7AL, UK. TomAxford Department of Computer Science, University of Birmingham, BIRMINGHAM, B15 2TT, UK. 10 September 1992
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/tech-reports/yes-no-combinators93.ps.gz, 19931207
Yes-no Combinators and an Efficient Abstraction Algorithm Antoni Diller School of Computer Science Aston Webb Building University of Birmingham Birmingham B15 2TT England A.Diller@cs.bham.ac.uk December 7, 1993
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/tech-reports/bracket-abstraction91.ps.gz, 19940124
Improving Bracket Abstraction A Cost Free Optimization Technical Report CSIRP-91-3 David Stevens, School of Computer Science, University of Birmingham. D.J.Stevens@cs.bham.ac.uk 11 November 1991
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/tech-reports/Monad-for-Z-Animation93.ps.gz, 19950405
Animating Z specifications in Haskell using a monad Howard S. Goodman School of Computer Science University of Birmingham BIRMINGHAM B15 2TT ENGLAND Email: h.s.goodman@cs.bham.ac.uk
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/authors/Andy_Ben-Dyke/graph.ps, 19961104
EnvironmentsDomains AuxiliariesPrimitives Equations Run
open this document and view contentsftp://ftp.cs.bham.ac.uk/pub/dist/func-prog/authors/Andy_Ben-Dyke/address.ps, 19961203
FROM: Mr A. D. Ben-Dyke Parallel and Distributed Simulation E202, CIS 5 DRA Malvern WR14 3PS Professor S. J. W. Busby, Chair (Science) Board of Graduate Studies, School of Biochemistry The University of Birmingham Edgbaston Birmingham B15 2TT