|
|
Sold Out
Book Categories |
| Towards a Taxonomy of Functional Language Implementations | 27 | |
| A [lambda]-Calculus a la De Bruijn with Explicit Substitutions | 45 | |
| A Verified Implementation of Narrowing | 63 | |
| A New Calculus for Semantic Matching | 81 | |
| A Complete Narrowing Calculus for Higher-Order Functional Logic Programming | 97 | |
| Exploiting Parallelism in Tabled Evaluations | 115 | |
| Design and Implementation of Jump Tables for Fast Indexing of Logic Programs | 133 | |
| An Abstract Machine for Oz | 151 | |
| Uniform PERs and Comportment Analysis | 169 | |
| Uniqueness Type Inference | 189 | |
| Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions | 207 | |
| Better Consumers for Deforestation | 223 | |
| Efficient Compile-Time Garbage Collection for Arbitrary Data Structures | 241 | |
| Efficient Multi-level Generating Extensions | 259 | |
| Mechanically Verifying the Correctness of an Offline Partial Evaluator | 279 | |
| A Semantic Model of Binding Times for Safe Partial Evaluation | 299 | |
| Gadgets: Lazy Functional Components for Graphical User Interfaces | 321 | |
| Lightweight GUIs for Functional Programming | 341 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Leonard Hoffman
reviewed Programming Languages: Implementations, Logics and Programs, Vol. 982 on August 08, 2011
Programming Languages: Implementations, Logics and Programs, Vol. 982
Nothing
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
Programming Languages: Implementations, Logics and Programs, Vol. 982
X
This Item is in Your Inventory
Programming Languages: Implementations, Logics and Programs, Vol. 982
X
You must be logged in to review the productsX
X
X
Add Programming Languages: Implementations, Logics and Programs, Vol. 982, This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers sele, Programming Languages: Implementations, Logics and Programs, Vol. 982 to the inventory that you are selling on WonderClubX
X
Add Programming Languages: Implementations, Logics and Programs, Vol. 982, This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers sele, Programming Languages: Implementations, Logics and Programs, Vol. 982 to your collection on WonderClub |
