Typing Polymorphic Relational Operators: Extending a Functional Language Core with Polymorphic Record Operations - Lajos Nagy - Books - VDM Verlag - 9783639068542 - August 12, 2008
In case cover and title do not match, the title is correct

Lajos Nagy
Typing Polymorphic Relational Operators: Extending a Functional Language Core with Polymorphic Record Operations

Price
£ 42.49

Ordered from remote warehouse

Expected delivery Aug 27 - Sep 10
Get notified about new Lajos Nagy releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
or

Not rated yet

The overarching goal of the current book is to pavethe road towards a comprehensive solutionto the decades old problem of integrating databasesand programming languages. For thispurpose, we propose a record calculus as an extensionof an ML-style functional programminglanguage core that is powerful enough to allow typeinference for user-defined polymorphic relationaloperators. The type system described in the bookallows the definition and typing of standardrelational operators like join, project, divide,restrict, and others in a flexible, polymorphic way.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 12, 2008
ISBN13 9783639068542
Publishers VDM Verlag
Pages 120
Dimensions 150 × 220 × 10 mm   ·   172 g
Language English  

More from the same publisher

See all of Lajos Nagy ( e.g. Paperback Book )