Much of the work in modern formal linguistics is concerned with giving mathematically precise accounts of human languages. Such work is particularly suited for research that involves language processing with computers. This book provides an introduction to one particularly popular approach, typed-feature structure formalisms. Implementing Typed Feature Structure Grammars includes informal (but rigorous) descriptions of typed-feature structure logic as well as formal definitions. The book covers the basics of grammar development by introducing different frameworks to the reader such as categorial grammar and Head-Driven Phrase Structure Grammar, and demonstrates how these can be implemented. Semantic representation is also introduced. The book includes a CD of the LKB system software that allows the reader to experiment with various grammars and learn the details of the formalism. The CD is compatible with Windows, MacOS, Linux and Solaris, and includes a full user manual.