Functional Programming With Logical Frameworks. door Adam Brett Poswolsky