Title: Functional Programming with Logical Frameworks