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

Bibliograhy
Index