Pfenning: Types in Logic Programming, 1992

Frank Pfenning (Ed.): Types in Logic Programming. The MIT Press 1992, ISBN 0-262-16131-1

Series Forword
Preface
Authors

• Patricia M. Hill, Rodney W. Topor: A Semantics for Typed Logic Programs. 1-62 BibTeX
• Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. 63-90 BibTeX
• Michael Hanus: Logic Programming with Type Specifications. 91-140 BibTeX
• Nevin Heintze, Joxan Jaffar: Semantic Types for Logic Programs. 141-155 BibTeX
• Philip W. Dart, Justin Zobel: A Regular Type Language for Logic Programs. 157-187 BibTeX
• Lee Naish: Types and the Intended Meaning of Logic Programs. 189-216 BibTeX
• Dean Jacobs: A Pragmatic View of Types for Logic Programs. 217-227 BibTeX
• Joseph L. Zachary, Katherine A. Yelick: Using Moded Type Systems to Support Abstraction in Logic Programs. 229-243 BibTeX
• Gopalan Nadathur, Frank Pfenning: The Type System of a Higher-Order Logic Programming Language. 245-283 BibTeX
• Frank Pfenning: Dependent Types in Logic Programming. 285-311 BibTeX
• Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini: The Type System of LML. 313-332 BibTeX