Functional Programming With Logical Frameworks The Delphin Project(1st Edition)
Authors:
Adam Brett Poswolsky
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 1440474923, 978-1440474927
Book publisher: CreateSpace Independent Publishing Platform
Book Price $0 : 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.
Customers also bought these books
Statistical Techniques In Business And Economics - 13th Edition
Douglas A. Lind
ISBN: 9780070667075
$0 $34.86
Immigrant Entrepreneurship Cases From Contemporary Poland - 1st Edition
Beata Glinka
ISBN: 1000096955, 9781000096958
$0 $50.00
University Physics with Modern Physics - 12th Edition
Hugh D. Young
ISBN: 978-0321501479, 9780805321876, 321501470, 978-0321501219
$0 $24.30
Project Management A Managerial Approach - 7th Edition
Jack R. Meredith
ISBN: 470226218, 978-0470226216
$0 $43.00
Introduction To Management Science A Modeling And Case Studies Approach W/Spreadsheets And Student Cd Rom - 1st Edition
Frederick Hillier
ISBN: 0072503084, 978-0072503081
$66.81 $95.44
Microsoft Office Programming A Guide For Experienced Developers - 1st Edition
Rod Stephens
ISBN: 1590591216, 978-1590591215
$0 $8.55
Introducing Delphi Orm Object Relational Mapping Using Tms Aurelius - 1st Edition
John Kouraklis
ISBN: 1484250125, 978-1484250129
$0 $23.24
Measuring The Digital World Using Digital Analytics To Drive Better Digital Experiences - 1st Edition
Gary Angel
ISBN: 0134195086, 978-0134195087
$65 $92.86
Vertex Algebras For Beginners - 2nd Edition
Victor G. Kac
ISBN: 082181396X, 978-0821813966
$0 $38.00
Learning And Intelligent Optimization 16th International Conference Lion 16 Milos Island Greece June 5 10 2022 Revised Selected Papers - 1st Edition
Dimitris E Simos
ISBN: 3031248651, 978-3031248658
$0 $69.75
Introduction To Management Science A Modeling And Case Studies Approach W/Spreadsheets And Student Cd Rom - 1st Edition
Frederick Hillier
ISBN: 0072503084, 978-0072503081
$66.81 $95.44
C Programming Language Counseling Talk About The Case - 1st Edition
Xia Qing Guo
ISBN: 7561223366, 978-7561223369
$0 $39.85Popular Among Students
The Invent To Learn Guide To The Micro Bit - 1st Edition
Pauline Maas
ISBN: 1955604061, 978-1955604062
$0 $28.38
The Algorithm How Ai Can Hijack Your Career And Steal Your Future - 1st Edition
Hilke Schellmann
ISBN: 1805263080, 978-1805263081
$0 $13.37
Teddy Bear Stuffed Animal Teddy Bears Plush Doll Cute Bear Toy 11.8 Inch For Girls Boys Christmas Valentine's Day(Brown Bear) - 1st Edition
YUKOUQIAN
ISBN: B0BTY43MRZ
$0 $9.99
Russian Grammar Quickstudy Laminated Reference Guide - 1st Edition
Mark Kiken
ISBN: 1572226986, 978-1572226982
$0 $5.23
Global Change And The Challenges Of Sustainably Feeding A Growing Planet - 1st Edition
Thomas W Hertel
ISBN: 3319226614, 978-3319226613
$0 $41.99
Engineering Problem Solving With C++ - 3rd Edition
Delores M Etter
ISBN: 0132492652, 9780132492652
$0 $15.18
Head First HTML5 Programming Building Web Apps With JavaScript - 1st Edition
Eric Freeman
ISBN: 1449390544, 978-1449390549
$0 $10.00
Delphi 3 User Interface Design - 1st Edition
Warren Kovach
ISBN: 0136179606, 978-0136179603
$0 $71.16
Python For Beginners 2 Books In 1 Coding For Beginners Using Python + Python Crash Course - 1st Edition
Mark Matthes
ISBN: 1801094411, 978-1801094412
$129.6 $185.14
The Mosix Distributed Operating System Load Balancing For Unix - 1st Edition
Amnon Barak
ISBN: 3540566635, 978-3540566632
$0 $54.99
Your Story Has A Villain Identify Spiritual Warfare And Learn How To Defeat The Enemy - 1st Edition
Jonathan Pokluda
ISBN: 1400341175, 978-1400341177
$0 $7.70
A Multidisciplinary Introduction To Information Security - 1st Edition
Stig F. Mjolsnes
ISBN: 1138112135, 978-1138112131
$253.88 $362.68