Downloads & Free Reading Options - Results

Equational Logic As A Programming Language by O'donnell%2c Michael J.

Read "Equational Logic As A Programming Language" by O'donnell%2c Michael J. through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Equational Logic As A Programming Language

By

A technical book on something similar to lazy functional programming. It is out of print at The MIT Press, so copyright has reverted to me, the author, and I license it for free use. Steven Obua scanned a printed copy to produce this PDF version. Besides the author's work, the book acknowledges contributions by Purdue University Professor Christoph Hoffmann, Purdue University graduate students Paul Chew, Giovanni Sacco, Paul Golick, and The Johns Hopkins University graduate student Robert Strandh. After publication, The University of Chicago graduate students Samuel Rebelsky, David Sherman, Stephen Bailey, and Guanshan Tong continued work on the project. Robert Strandh and David Sherman continued the work as faculty at The University of Bordeaux.

“Equational Logic As A Programming Language” Metadata:

  • Title: ➤  Equational Logic As A Programming Language
  • Author:
  • Language: English

“Equational Logic As A Programming Language” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 188.42 Mbs, the file-s for this book were downloaded 127 times, the file-s went public at Fri Dec 02 2022.

Available formats:
Additional Text PDF - Archive BitTorrent - DjVuTXT - Djvu XML - EPUB - Image Container PDF - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Equational Logic As A Programming Language at online marketplaces:


2Equational Logic As A Programming Language

By

A technical book on something similar to lazy functional programming. It is out of print at The MIT Press, so copyright has reverted to me, the author, and I license it for free use. Steven Obua scanned a printed copy to produce this PDF version. Besides the author's work, the book acknowledges contributions by Purdue University Professor Christoph Hoffmann, Purdue University graduate students Paul Chew, Giovanni Sacco, Paul Golick, and The Johns Hopkins University graduate student Robert Strandh. After publication, The University of Chicago graduate students Samuel Rebelsky, David Sherman, Stephen Bailey, and Guanshan Tong continued work on the project. Robert Strandh and David Sherman continued the work as faculty at The University of Bordeaux.

“Equational Logic As A Programming Language” Metadata:

  • Title: ➤  Equational Logic As A Programming Language
  • Author:
  • Language: English

“Equational Logic As A Programming Language” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 730.43 Mbs, the file-s for this book were downloaded 58 times, the file-s went public at Tue Jul 12 2022.

Available formats:
ACS Encrypted PDF - AVIF Thumbnails ZIP - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - RePublisher Final Processing Log - RePublisher Initial Processing Log - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Equational Logic As A Programming Language at online marketplaces:


Buy “Equational Logic As A Programming Language” online:

Shop for “Equational Logic As A Programming Language” on popular online marketplaces.