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

Notions of computation and monads

Eugenio Moggi · Information and Computation · 1991 · 1.7K citations

Computing, Computer Science, Mathematics +10

IFO: a formal semantic database model

Serge Abiteboul, Richard Hull · ACM Transactions on Database Systems · 1987 · 459 citations · Full text

Computing, Computer Science, Data Management +14

Semantics of programming languages: structures and techniques

Choice Reviews Online · 1993 · 422 citations

Computing, Computer Science, Mathematics +17

Remarks on the algebra of non first normal form relations

Gerhard Jaeschke, Hans‐Jörg Schek · 1982 · 355 citations

Computing, Computer Science, Information Systems +15

Type checking records and variants in a natural extension of ML

Didier Rémy · 1989 · 205 citations · Full text

Computing, Computer Science, Natural Language Processing +12