Morphotypic and genotypic variability in subarctic planktic foraminifera
(1998)
Conference Proceeding
All Outputs (5)
Towards a Molecular Phylogeny for the Pulmonate Land Snails (1998)
Conference Proceeding
Planktic foraminiferal genotype distribution: gene flow and past ocean circulation (1998)
Conference Proceeding
Dynamic Link Inclusion in Online PDF Journals (1998)
Conference Proceeding
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)
Conference Proceeding
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.