Pfenning, Frank Types in Logic Programming

'Types in Logic Programming' von Frank Pfenning ist ein Fachbuch, das sich mit der Integration von Typensystemen in die Logikprogrammierung beschäftigt. Das Buch untersucht, wie Typen verwendet werden können, um Programme sicherer und effizienter zu gestalten. Es bietet eine umfassende Einführung in die theoretischen Grundlagen von Typensystemen und deren Anwendung in der Logikprogrammierung. Pfenning diskutiert verschiedene Ansätze zur Typisierung, darunter polymorphe und abhängige Typen, und behandelt sowohl praktische als auch theoretische Aspekte. Das Werk richtet sich an Forscher und Studierende der Informatik, die sich für fortgeschrittene Themen der Programmiersprachen und formalen Methoden interessieren.