All Outputs (1974)

Electronic Publishing : the evolution and economics of a hybrid journal. (1997)
Conference Proceeding
Brailsford, D. F. (1997). Electronic Publishing : the evolution and economics of a hybrid journal.

The technical, social and economic issues of electronic publishing are examined by using as a case study the evolution of the journal Electronic Publishing Origination, Dissemination and Design (EP-odd) which is published by John Wiley Ltd. The journ... Read More about Electronic Publishing : the evolution and economics of a hybrid journal..

Dienstplanerstellung in Krankenhäusern mittels genetischer Algorithmen (1996)
Thesis
Aickelin, U. Dienstplanerstellung in Krankenhäusern mittels genetischer Algorithmen. (Dissertation). Universität Mannheim. Retrieved from https://nottingham-repository.worktribe.com/output/1164769

Back to Basics: Deriving Representation Changers Functionally (1996)
Journal Article
Hutton, G., & Meijer, E. (1996). Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6(1),

Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include base-converters, binary adders and multipliers, and... Read More about Back to Basics: Deriving Representation Changers Functionally.

Monadic parser combinators (1996)
Book
Hutton, G., & Meijer, E. (1996). Monadic parser combinators. School of Computer Science and IT

In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar constructions such as sequencing, choice, and repetitio... Read More about Monadic parser combinators.

MASSIVE: A Collaborative Virtual Environment for Teleconferencing (1995)
Journal Article
Greenhalgh, C., & Benford, S. (1995). MASSIVE: A Collaborative Virtual Environment for Teleconferencing. ACM Transactions on Computer-Human Interaction, 2(3), 239–261. https://doi.org/10.1145/210079.210088

Bananas in space: extending fold and unfold to exponential types (1995)
Conference Proceeding
Meijer, E., & Hutton, G. (1995). Bananas in space: extending fold and unfold to exponential types.

Fold and unfold are general purpose functionals for process-ing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of functors, these functionals and their algebraic properties were generalised... Read More about Bananas in space: extending fold and unfold to exponential types.

Document analysis of PDF files: methods, results and implications (1995)
Journal Article
Lovegrove, W. S., & Brailsford, D. F. (1995). Document analysis of PDF files: methods, results and implications

A strategy for document analysis is presented which uses Portable Document Format (PDF the underlying file structure for Adobe Acrobat software) as its starting point. This strategy examines the appearance and geometric position of text and image blo... Read More about Document analysis of PDF files: methods, results and implications.

Towards structured, block-based PDF (1995)
Journal Article
Smith, P. N., & Brailsford, D. F. (1995). Towards structured, block-based PDF

The Portable Document Format (PDF), defined by Adobe Systems Inc. as the basis of its Acrobat product range, is discussed in some detail. Particular emphasis is given to its flexible object-oriented structure, which has yet to be fully exploited. It... Read More about Towards structured, block-based PDF.

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic (1994)
Journal Article
Hutton, G. (1994). Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4(4),

Adobe's Acrobat -- providing the missing link? (1994)
Journal Article
Brailsford, D. F. (1994). Adobe's Acrobat -- providing the missing link?

Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Adobe's Acrobat -- providing the missing link?.

Experience with the use of Acrobat in the CAJUN publishing project (1994)
Conference Proceeding
Brailsford, D. F. (1994). Experience with the use of Acrobat in the CAJUN publishing project.

Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Experience with the use of Acrobat in the CAJUN publishing project.

CD-ROM Acrobat Journals Using Networks (1994)
Conference Proceeding
Brailsford, D. F., & Harrison, L. (1994). CD-ROM Acrobat Journals Using Networks.

The available technologies for publishing journals electronically are surveyed. They range from abstract representations, such as SGML, concerned largely with the structure of the document, to formats such as PostScript which faithfully model the l... Read More about CD-ROM Acrobat Journals Using Networks.

Categories, Allegories, and Circuit Design (1994)
Conference Proceeding
Brown, C., & Hutton, G. (1994). Categories, Allegories, and Circuit Design.

Languages based upon binary relations offer an appealing setting for constructing programs from specifications. For example, working with relations rather than functions allows specifications to be more abstract (for example, many programs have a na... Read More about Categories, Allegories, and Circuit Design.

Separate compilation of structured documents (1993)
Journal Article
Groves, M. J., & Brailsford, D. F. (1993). Separate compilation of structured documents

This paper draws a parallel between document preparation and the traditional processes of compilation and link editing for computer programs. A block-based document model is described which allows for separate compilation of various portions of a doc... Read More about Separate compilation of structured documents.

Journal publishing with Acrobat: the CAJUN project (1993)
Journal Article
Smith, P. N., Brailsford, D. F., Evans, D. R., Harrison, L., Probets, S. G., & Sutton, P. E. (1993). Journal publishing with Acrobat: the CAJUN project

The publication of material in electronic form should ideally preserve, in a unified document representation, all of the richness of the printed document while maintaining enough of its underlying structure to enable searching and other forms of se... Read More about Journal publishing with Acrobat: the CAJUN project.

The Ruby Interpreter (1993)
Book
Hutton, G. (1993). The Ruby Interpreter. Department of Computing Science

Ruby is a relational calculus for designing digital circuits. This document is a guide to the Ruby interpreter, which allows a special class of $quot;implementable$quot; Ruby programs to be executed. The Ruby interpreter is written in the functional... Read More about The Ruby Interpreter.

Adobe's Acrobat -- the Electronic Journal Catalyst? (1993)
Conference Proceeding
Brailsford, D. F. (1993). Adobe's Acrobat -- the Electronic Journal Catalyst?.

Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Adobe's Acrobat -- the Electronic Journal Catalyst?.

Higher-Order Functions for Parsing (1992)
Journal Article
Hutton, G. (1992). Higher-Order Functions for Parsing. Journal of Functional Programming, 2(3),

In combinator parsing, the text of parsers resembles BNF notation. We present the basic method, and a number of extensions. We address the special problems presented by white-space, and parsers with separate lexical and syntactic phases. In partic... Read More about Higher-Order Functions for Parsing.

A Relational Derivation of a Functional Program (1992)
Conference Proceeding
Hutton, G. (1992). A Relational Derivation of a Functional Program.

This article is an introduction to the use of relational calculi in deriving programs. Using the relational caluclus Ruby, we derive a functional program that adds one bit to a binary number to give a new binary number. The resulting program is uns... Read More about A Relational Derivation of a Functional Program.

Making Functionality More General (1992)
Conference Proceeding
Hutton, G., & Voermans, E. (1992). Making Functionality More General.

The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are preci... Read More about Making Functionality More General.