Functional Programming with Logical Frameworks
Subtitle: The Delphin Project
Publisher: CreateSpace Independent Publishing Platform
Published: 2008
Language: eng
Number of pages: 484
ISBN-13: 9781440474927