|
|
Sold Out
Book Categories |
| A brief survey of quantum programming languages | 1 | |
| Analysis of synchronous and asynchronous cellular automata using abstraction by temporal logic | 7 | |
| Twelf and Delphin : logic and functional programming in a meta-logical framework | 22 | |
| Online justification for tabled logic programs | 24 | |
| Constructive intensional negation | 39 | |
| Analysing definitional trees : looking for determinism | 55 | |
| DDT : a declarative debugging tool for functional-logic languages | 70 | |
| LIX : an effective self-applicable partial evaluator for prolog | 85 | |
| Multivariant non-failure analysis via standard abstract interpretation | 100 | |
| Set-sharing is not always redundant for pair-sharing | 117 | |
| Backward pair sharing analysis | 132 | |
| Implementing natural rewriting and narrowing efficiently | 147 | |
| Complete axiomatization of an algebraic construction of graphs | 163 | |
| Sub-Birkhoff | 180 | |
| Relaxing the value restriction | 196 | |
| Rigid Mixin modules | 214 | |
| Semantics of linear continuation-passing in call-by-name | 229 | |
| A direct proof of strong normalization for an extended Herbelin's calculus | 244 | |
| Normalization by evaluation for [actual symbol not reproducible] | 260 | |
| Basic pattern matching calculi : a fresh view on matching failure | 276 | |
| Derivation of deterministic inverse programs based on LR parsing | 291 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Richard Larson
reviewed Functional and Logic Programming on December 21, 2013
Functional and Logic Programming
The only reason not giving 5 starts is that the book is too much concentrated on Java programming language..
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 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004. The 18 revised full papers presented together with 3 invited contributions were caref, 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 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004. The 18 revised full papers presented together with 3 invited contributions were caref, Functional and Logic Programming to your collection on WonderClub |