Implementing Certified Programming Language Tools in Dependent Type Theory

Implementing Certified Programming Language Tools in Dependent Type Theory
Author :
Publisher :
Total Pages : 492
Release :
ISBN-10 : UCAL:C3484117
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis Implementing Certified Programming Language Tools in Dependent Type Theory by : Adam James Chlipala

Download or read book Implementing Certified Programming Language Tools in Dependent Type Theory written by Adam James Chlipala and published by . This book was released on 2007 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Implementing Certified Programming Language Tools in Dependent Type Theory Related Books

Implementing Certified Programming Language Tools in Dependent Type Theory
Language: en
Pages: 492

Implementing Certified Programming Language Tools in Dependent Type Theory

Authors: Adam James Chlipala
Categories:
Type: BOOK - Published: 2007 - Publisher:

DOWNLOAD EBOOK

Certified Programming with Dependent Types
Language: en
Pages: 437

Certified Programming with Dependent Types

Authors: Adam Chlipala
Categories: Computers
Type: BOOK - Published: 2013-12-06 - Publisher: MIT Press

DOWNLOAD EBOOK

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati
Type Theory and Formal Proof
Language: en
Pages: 465

Type Theory and Formal Proof

Authors: Rob Nederpelt
Categories: Computers
Type: BOOK - Published: 2014-11-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s
Introduction to Dependent Types with Idris
Language: en
Pages: 0

Introduction to Dependent Types with Idris

Authors: Boro Sitnikovski
Categories:
Type: BOOK - Published: 2023 - Publisher:

DOWNLOAD EBOOK

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will
Implementation and Application of Functional Languages
Language: en
Pages: 280

Implementation and Application of Functional Languages

Authors: Zoltán Horváth
Categories: Computers
Type: BOOK - Published: 2007-08-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers