Skip to main content

Research Repository

See what's under the surface


Fold and Unfold for Program Semantics (1998)
Conference Proceeding
Hutton, G. (1998). Fold and Unfold for Program Semantics

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

Dynamic Link Inclusion in Online PDF Journals (1998)
Conference Proceeding
Probets, S., Brailsford, D. F., Carr, L., & Hall, W. (1998). Dynamic Link Inclusion in Online PDF Journals. In H. Brown, J. Andre, & R. Hersch (Eds.),

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