J. Roger Hindley Books

Focusing on a specific type system, this book offers a detailed introduction to type theory, essential for designing higher-level programming languages like ML. It explores the connection between type systems and propositional logic, while providing an in-depth examination of the type-checking algorithm foundational to these systems. The author presents the material with rigorous yet accessible mathematics, making it an ideal resource for computer scientists seeking to understand type theory at an introductory level.

This volume provides a comprehensive description of the principles and methods used in DNA sequencing. Following a detailed introduction the chapters are: DNA sequencing; Chain terminator sequencing; Primed synthesis methods applied to DNA fragments cloned into phage M13; DNA sequencing by the Maxam-Gilbert chemical procedure; Computer methods for DNA sequencers; Appendices including contractions and special terms, cloning vectors, commercially available restriction endonucleases, and autoradiography.