Henry Smith develops a theory of syntactic case and examines its synchronic and diachronic consequences. Within a unification-based framework, the book draws out pervasive patterns in the relationship between morphosyntax ('linking') and grammatical function. The theory proposed consists of three ordered constraints on the association of NPs and arguments, based on the central notion of 'restrictiveness'. Beginning with a detailed study of dative substitution in Icelandic, the author moves on to examine a wide array of synchronic and diachronic data and to construct a typology of case. Theoretically innovative and sophisticated, and descriptively wide-ranging, this book will appeal to all those interested in the cross-linguistic marking of case and the ways in which case systems may change over time.