|
|
Sold Out
Book Categories |
| Parallel programming and parallel abstractions in fortress | 1 | |
| Convergence in language design : a case of lightning striking four times in the same place | 2 | |
| "Scrap your boilerplate" reloaded | 13 | |
| Ruler : programming type rules | 30 | |
| A framework for extended algebraic data types | 47 | |
| Lock free data structures using STM in Haskell | 65 | |
| XML type checking using high-level tree transducer | 81 | |
| A computational approach to Pocklington certificates in type theory | 97 | |
| Defining and reasoning about recursive functions : a practical tool for the Coq proof assistant | 114 | |
| Soutei, a logic-based trust-management system | 130 | |
| A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems | 146 | |
| Resource analysis by sup-interpretation | 163 | |
| Lazy set-sharing analysis | 177 | |
| Size-change termination and bound analysis | 192 | |
| Typed contracts for functional programming | 208 | |
| Contracts as pairs of projections | 226 | |
| iData for the World Wide Web - programming interconnected Web forms | 242 | |
| Crossing state lines : adapting object-oriented frameworks to functional reactive languages | 259 | |
| WASH server pages | 277 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Jeff Myers
reviewed Functional and Logic Programming on February 06, 2019
Functional and Logic Programming
Good
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Functional and Logic Programming
X
This Item is in Your Inventory
Functional and Logic Programming
X
You must be logged in to review the productsX
X
X
Add Functional and Logic Programming, This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were c, Functional and Logic Programming to the inventory that you are selling on WonderClubX
X
Add Functional and Logic Programming, This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were c, Functional and Logic Programming to your collection on WonderClub |