Functional Programming With Logical Frameworks: The Delphin Project

by Adam Brett Poswolsky

Logical frameworks are languages used to represent information. In this dissertation we present Delphin (http://www.delphin.logosphere.org/), which is a functional programming language with a logical framework supporting both higher-order abstract syntax and dependent types. Higher-order abstract syntax, or HOAS, refers to the technique of representing variables of an object language using variables of a metalanguage, which leads to more concise and...

• Format: Paperback
• Language: English
• ISBN: 1440474923
• ISBN13: 9781440474927
• Release Date: December 2008
• Publisher: CreateSpace Independent Publishing Platform
• Length: 484 Pages
• Weight: 2.28 lbs.
• Dimensions: 10.0" x 1.1" x 7.0"