This book constitutes the refereed proceedings of the Second International Workshop on Practical Aspects of Declarative Languages, PADL 2000, held in Boston, MA, USA in January 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections on functional programming, functional-logic programming, logic programming, innovative applications, constraint programming and constraint solving, and systems applications.
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
A hotly debated issue in the language Haskell [HJW92] has been patterns. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
pattern combinators, reification combinator, feasible duties, sliding collector, taylor contraction, finding frequent sets, tabulation tree, tabled calls, early reset, disjunctive combinator, tabled predicate, filter promotion, dummy trips, spreadsheet paradigm, pattern binders, definitional trees, intensional negation, event transformer, tabling mechanism, copying collector, constructive negation, continuation stacks, standard pattern matching, schema generator, negative reduced cost Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, Santos Costa, Springer-Verlag Berlin Heidelberg, Principles of Programming Languages, Van Hentenryck, International Symposium, Christian Schulte, Ilog Solver, Gert Smolka, Objective Caml, New York, Peyton Jones, World Wide Web Consortium, Martin Henz, Michael Hanus, Philip Wadler, Prentice Hall, San Francisco, Addison Wesley, Aspects of Applied Biology, Cambridge University Press, Concurrent Haskell, Conference Proceeding, Event Input New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
A hotly debated issue in the language Haskell [HJW92] has been patterns. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
pattern combinators, reification combinator, feasible duties, sliding collector, taylor contraction, finding frequent sets, tabulation tree, tabled calls, early reset, disjunctive combinator, tabled predicate, filter promotion, dummy trips, spreadsheet paradigm, pattern binders, definitional trees, intensional negation, event transformer, tabling mechanism, copying collector, constructive negation, continuation stacks, standard pattern matching, schema generator, negative reduced cost Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, Santos Costa, Springer-Verlag Berlin Heidelberg, Principles of Programming Languages, Van Hentenryck, International Symposium, Christian Schulte, Ilog Solver, Gert Smolka, Objective Caml, New York, Peyton Jones, World Wide Web Consortium, Martin Henz, Michael Hanus, Philip Wadler, Prentice Hall, San Francisco, Addison Wesley, Aspects of Applied Biology, Cambridge University Press, Concurrent Haskell, Conference Proceeding, Event Input 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 36
books:
See all 36 books this book cites
- Constraint Logic Programming: Selected Research (Logic Programming) by Frédéric Benhamou on page 214, page 229, and page 248
- Computer Science by Richard Jones on page 15, page 46, and page 276
- Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science) by Manuel Hermenegildo on page 228, and page 277
- Concurrent Constraint Programming (Logic Programming) by Vijay A. Saraswat on page 61, and page 228
- Software Engineering by Gregory W. Jones on page 31
See all 36 books this book cites
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. |
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 Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
