Skip to main content

Research Repository

Advanced Search

Outputs (5)

Linking electronic journals - Lessons from the Open Journal project (1998)
Journal Article
Hitchcock, S., Carr, L., Hall, W., Harris, S., Probets, S., Evans, D., & Brailsford, D. F. (1998). Linking electronic journals - Lessons from the Open Journal project

The Open Journal project has completed its three year period of funding by the UK Electronic Libraries (eLib) programme (Rusbridge 1998). During that time, the number of journals that are available electronically leapt from a few tens to a few thousa... Read More about Linking electronic journals - Lessons from the Open Journal project.

Dynamic Link Inclusion in Online PDF Journals (1998)
Presentation / Conference Contribution
Probets, S., Brailsford, D. F., Carr, L., & Hall, W. Dynamic Link Inclusion in Online PDF Journals. Presented at 7th International Conference on Electronic Publishing, EP'98

Two complementary de facto standards for the publication of electronic documents are HTML on theWorldWideWeb and Adobe s PDF (Portable Document Format) language for use with Acrobat viewers. Both these formats provide support for hypertext features t... Read More about Dynamic Link Inclusion in Online PDF Journals.

Fold and Unfold for Program Semantics (1998)
Presentation / Conference Contribution
Hutton, G. Fold and Unfold for Program Semantics. Presented at Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming

In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structure denotational semantics, how th... Read More about Fold and Unfold for Program Semantics.