Items related to Types in Logic Programming

Types in Logic Programming - Softcover

 
9780262519939: Types in Logic Programming
Softcover
ISBN 10: 0262519933 ISBN 13: 9780262519939
Publisher: MIT Press, 1992

Synopsis

This collection of original research papers assesses and summarizes the impact of types on logic programming.

"synopsis" may belong to another edition of this title.

About the Author

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

"About this title" may belong to another edition of this title.

Publisher
MIT Press
Publication date
1992
Language
English
ISBN 10 
0262519933
ISBN 13 
9780262519939
Binding
Paperback
Number of pages
380
Editor
Pfenning Frank