Skip navigation

Frank Pfenning

Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.

Titles by This Editor

Edited by Frank Pfenning

Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.