Skip to main content

Research Repository

Advanced Search

All Outputs (4)

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.