Normal Forms and Conservative Extension Properties for Query Languages over Collection Types

The Lambda Calculus - Its Syntax and Semantics

1984 • 2,897 citations

A Mathematical Introduction to Logic

2001 • 2,459 citations

The Definition of Standard ML

1997 • 2,439 citations

Notions of computation and monads

1991 • 1,692 citations

Miranda: A non-strict functional language with polymorphic types

1985 • 640 citations

IFO: a formal semantic database model

1987 • 467 citations

Semantics of programming languages: structures and techniques

1993 • 419 citations

Semantics of programming languages

1991 • 368 citations

Remarks on the algebra of non first normal form relations

1982 • 356 citations

On Local and Non-Local Properties

1982 • 283 citations

Type checking records and variants in a natural extension of ML

1989 • 208 citations

On the power of languages for the manipulation of complex objects

1987 • 197 citations

Nested Relational Structures.

1986 • 182 citations

Naturally embedded query languages

1992 • 157 citations

Database programming in Machiavelli—a polymorphic language with static type inference

1989 • 142 citations

Recursion Equations as a Programming Language

1982 • 133 citations

The Format Model

1984 • 128 citations

Structural recursion as a query language

1992 • 120 citations

Logical and computational aspects of programming with sets/bags/lists

1991 • 87 citations

ML with extended pattern matching and subtypes

1988 • 85 citations

Converting nested algebra expressions into flat algebra expressions

1992 • 84 citations

Listlessness is better than laziness

1984 • 81 citations

Querying nested collections

1994 • 61 citations

On the expressive power of database queries with intermediate types

1991 • 57 citations

Some Properties of Query Languages for Bags

1994 • 52 citations

An introduction to the completeness of languages for complex objects and nested relations

1989 • 47 citations

New techniques for studying set languages, bag languages and aggregate functions

1994 • 46 citations

Aggregate Functions, Conservative Extension, and Linear Orders

1994 • 32 citations

Listlessness is better than laziness II: Composing listless functions

1986 • 26 citations

Conservativity of nested relational calculi with internal generic functions

1994 • 25 citations

A comparison between algebraic query languages for flat and nested databases

1991 • 21 citations

Playing games with objects

1990 • 13 citations

A study of semantics, types and languages for databases and object-oriented programming

1989 • 8 citations