Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Borland Delphi

Functional Programming With Logical Frameworks: The Delphin Project


Functional Programming With Logical Frameworks: The Delphin Project by CreateSpace Independent Publishing Platform at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Logical frameworks are languages used to represent information. In this dissertation we present Delphin (http://www.delphin.logosphere.org/), which


Product Description

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 elegant encodings than first-order alternatives. Dependent types allow one to represent complex data (e.g. derivations) and enforce more properties of programs than possible using only simple types. Delphin is not only a useful programming language but also a useful system for formalizing proofs as total functions express proofs that the input entails the output. We motivate our system with examples of translating derivations between logics and converting between higher-order and first-order representations of data.

Additional Information

Manufacturer:CreateSpace Independent Publishing Platform
Publisher:CreateSpace Independent Publishing Platform
Studio:CreateSpace Independent Publishing Platform
EAN:9781440474927
Item Size:1.09 x 10 x 10 inches
Package Weight:2.28 pounds
Package Size:7 x 1.09 x 1.09 inches

Functional Programming With Logical Frameworks: The Delphin Project by CreateSpace Independent Publishing Platform

Buy Now:
Functional Programming With Logical Frameworks: The Delphin Project

Brand: CreateSpace Independent Publishing Platform
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$11.99


Quantity:  

 


View More In Borland Delphi.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by CreateSpace Independent Publishing Platform, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Packt Publishing - ebooks Account
mpn: 1788621301, ean: 9781788621304, isbn: 1788621301,
Quickly learn and employ practical recipes for developing real-world, cross-platform applications using Delphi. Key Features Get to grips with Delphi to build and deploy various cross-platform applications Design and deploy real-world apps by implem...

By Eckart Modrow
sku: 13192726, ean: 9783833415012, isbn: 3833415010,
Dieses Buch wendet sich an Lernende wie an Unterrichtende und ist gleichermaßen für Unterricht und Selbststudium geeignet. Wie die ersten beiden Bände stellt es eine Einführung in Standardthemen der Informatik anhand motivierender Themenkreise da...

By Modrow Eckart
ean: 9783833415210, isbn: 3833415215,
Dieses Buch wendet sich an Lernende wie an Unterrichtende und ist gleichermaßen für Unterricht und Selbststudium geeignet. Wie die ersten drei Bände stellt es eine Einführung in Standardthemen der Informatik anhand motivierender Themenkreise dar,...

By Bogdan Patrut
ean: 9783846579497, isbn: 3846579491,
Este libro está dirigido a los programadores que tienen conocimientos minimos de programación orientada a objetos en Visual Basic y Delphi. Sin embargo, incluso los programadores acostumbrados con los entornos de programación más simples pueden a...

By Kompjuter biblioteka
sku: 3346, ean: 9788673103471, isbn: 8673103479,

By Brand: Wordware Publishing, Inc.
ean: 9781556228162, isbn: 1556228163,
An alphabetical reference to almost 1,000 design-time, compile-time and run-time error messages that can be encountered while working with Borland's Delphi Object Pascal language....

By BookSurge Publishing
ean: 9781591098621, isbn: 1591098629,
Delphi Developer's Guide to XML, 2nd Edition explains how to apply the power and flexibility of Delphi to XML, the Extensible Markup Language. This title is targeted at Delphi developers who want to use the power of XML in their applications. XML and...

By Nova Science Publishers, Inc.
ean: 9781607412496, isbn: 1607412497,
This title includes a book and a CD. The purpose of the book is to use Delphi as a vehicle to introduce some fundamental algorithms and to illustrate several mathematical and problem-solving techniques. This book is therefore intended to be more of a...

By CreateSpace Independent Publishing Platform
ean: 9781440480096, isbn: 1440480095,
The guide to what's new in CodeGear Delphi 2009 by best-selling Delphi author Marco Cantu....

By Graeme Chandler
ean: 9780987421012, isbn: 0987421018,
FireMonkey is Embarcadero's new cross-platform application platform for Delphi. With FireMonkey, applications can be developed for iOS, OS X and Windows._x000D_x000D_x000D_x000D_Part 1 introduces FireMonkey and describes what you need to get started:...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.