The Haskell Road to Logic, Maths and Programming (Texts in Computing) by Kees Doets |
by Jeremy Gibbons
|
Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
Generic Programming: Advanced Lectures
and over 300,000 other books are available for Amazon Kindle – Amazon’s new wireless reading device.
Learn more
|
Customers Who Bought This Item Also Bought
Editorial Reviews
Product Description
Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002: - Generic Haskell: Practice and Theory- Generic Haskell: Applications- Generic Properties of Datatypes- Basic Category Theory for Models of Syntax
Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002: - Generic Haskell: Practice and Theory- Generic Haskell: Applications- Generic Properties of Datatypes- Basic Category Theory for Models of Syntax
Product Details
Would you like to update product info or give feedback on images?
|
Inside This Book
(learn more)
First Sentence:
Safe Languages. Most programmers probably agree that language safety is a good thing. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
intensional type analysis, empty trie, eqa eqb, refinement morphism, pattern functor, generic programmer, architectural connectors, binary relator, synchronisation sets, generic equality, applicative structure, pointwise closure, two datatypes, polymorphic lambda calculus, design formalisms, generic programming, arbitrary data types, polymorphic recursion, cons true, constructor case, polymorphic function, data type declarations, selected subtree, typed lambda calculus, write frame Key Phrases - Capitalized Phrases (CAPs): (learn more)
Generic Haskell, Computer Science, Johan Jeuring, International Conference, Ralf Hinze, Software Architectures, Cons False, Cambridge University Press, Simon Peyton Jones, Computer Society Press, Glasgow Haskell Compiler, Inl Unit, Journal of Functional Programming, Dave Clarke, Doaitse Swierstra, General Systems Theory, Springer-Verlag Berlin Heidelberg, European Symposium, International Summer School, Model of Syntax, Philip Wadler, Principles of Programming Languages, Science of Computer Programming, Unit Unit, Utrecht University New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Safe Languages. Most programmers probably agree that language safety is a good thing. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
intensional type analysis, empty trie, eqa eqb, refinement morphism, pattern functor, generic programmer, architectural connectors, binary relator, synchronisation sets, generic equality, applicative structure, pointwise closure, two datatypes, polymorphic lambda calculus, design formalisms, generic programming, arbitrary data types, polymorphic recursion, cons true, constructor case, polymorphic function, data type declarations, selected subtree, typed lambda calculus, write frame Key Phrases - Capitalized Phrases (CAPs): (learn more)
Generic Haskell, Computer Science, Johan Jeuring, International Conference, Ralf Hinze, Software Architectures, Cons False, Cambridge University Press, Simon Peyton Jones, Computer Society Press, Glasgow Haskell Compiler, Inl Unit, Journal of Functional Programming, Dave Clarke, Doaitse Swierstra, General Systems Theory, Springer-Verlag Berlin Heidelberg, European Symposium, International Summer School, Model of Syntax, Philip Wadler, Principles of Programming Languages, Science of Computer Programming, Unit Unit, Utrecht University New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 31
books:
See all 31 books this book cites
2
books
cite this book:
- Computer Science by Andrew Meyenn on 4 pages
- Purely Functional Data Structures by Chris Okasaki on page 55, and page 96
- Dead Famous by Ben Elton on page 60, and page 79
- Functional and Logic Programming by Masahiko Sato on page 53, and page 54
- Categories, Allegories (North-Holland Mathematical Library) by P.J. Freyd on page 132, and page 176
See all 31 books this book cites
- Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by Kwangkeun Yi on page 50
- Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings ... / Programming and Software Engineering) by Robert Glück on page 341
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Help others find this product — tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
There are no customer reviews yet. Create your own review
| |||
Video reviews
|
 |
Customer Discussions
Beta (What's this?)
New! See all customer communities, and bookmark your communities to keep track of them.
Product Information from the Amapedia Community
Beta (What's this?)Be the first person to add an article about this item at Amapedia.com.
› See featured Amapedia.com articles
Listmania!
|
|
Look for Similar Items by Category
- Books > Amazon Upgrade > All Amazon Upgrade
- Books > Amazon Upgrade > Computers & Internet
- Books > Computers & Internet > Computer Science > Software Engineering
- Books > Computers & Internet > Programming > Languages & Tools
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Internet > Software
Think Green and Use Hand Tools |
Dive into Summer Reading |
|||||||||
|
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue shopping: Top Sellers
| ||||
| ||
| ||
| ||
| ||
| ||
