Functional Programming with Logical FrameworksAdam Brett Poswolsky · First published 2008Open the Tome