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