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
Bibliograhy
Index
Last update Thu May 17 01:38:16 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
