Skip to main content

Research Repository

Advanced Search

All Outputs (5)

Towards a Molecular Phylogeny for the Pulmonate Land Snails (1998)
Presentation / Conference Contribution
Wade, C. M., Morgan, P. B., & Clarke, B. C. (1998, July). Towards a Molecular Phylogeny for the Pulmonate Land Snails. Presented at World Congress of Malacology, Washington, DC, 1998, Washington, DC

Planktic foraminiferal genotype distribution: gene flow and past ocean circulation (1998)
Presentation / Conference Contribution
Darling, K. F., Kroon, D., Stewart, I. A., Wade, C. M., Dingle, R., Paramor, T., Pudsey, C., & Bijma, J. (1998, August). Planktic foraminiferal genotype distribution: gene flow and past ocean circulation. Presented at 6th International Conference on Paleoceanography, Lisbon, Portugal

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.