Edona Design

ebooks, audiobooks, and more for reads

Search Results


Related Books

Qualified Types
Language: en
Pages: 176

Qualified Types

Authors: Mark P. Jones
Categories: Computers
Type: BOOK - Published: 2003-10-16 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensio
Qualified Types
Language: en
Pages: 176

Qualified Types

Authors: Mark P. Jones
Categories: Abstract data types (Computer science)
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Proceedings of AF-SD/Industry/NASA Conference and Workshops on Mission Assurance
Language: en
Pages: 510

Proceedings of AF-SD/Industry/NASA Conference and Workshops on Mission Assurance

Authors:
Categories: Outer space
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

The Massachusetts Register
Language: en
Pages: 353

The Massachusetts Register

Authors:
Categories:
Type: BOOK - Published: 2017-07-14 - Publisher:

DOWNLOAD EBOOK

Simplification of Present-law Tax Rules Relating to Qualified Pension Plans (S. 2901, the Employee Benefits Simplificaton Act)
Language: en
Pages: 56

Simplification of Present-law Tax Rules Relating to Qualified Pension Plans (S. 2901, the Employee Benefits Simplificaton Act)

Authors:
Categories: Employee fringe benefits
Type: BOOK - Published: 1990 - Publisher:

DOWNLOAD EBOOK

Scroll to top