Language: English
Published by Springer London, Limited, 1991
ISBN 10: 3540196676 ISBN 13: 9783540196679
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Paperback. Condition: Very Good. Text is unmarked; pages are bright, though the page edges are lightly foxed. Binding is sturdy. Covers are lightly edge worn and lightly foxed around the edges.
Paperback. Condition: Very Good. Text is unmarked; pages are bright, though the top edge of the pages is foxed. Binding is sturdy. Covers are lightly edge worn.
Language: English
Published by Manning Publications, 2021
ISBN 10: 161729540X ISBN 13: 9781617295409
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Condition: New.
Language: English
Published by Cambridge University Press (edition ), 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Seller: BooksRun, Philadelphia, PA, U.S.A.
Hardcover. Condition: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
Language: English
Published by Manning Publications, 2021
ISBN 10: 161729540X ISBN 13: 9781617295409
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Manning Publications, 2021
ISBN 10: 161729540X ISBN 13: 9781617295409
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 55.24
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
US$ 62.55
Quantity: 2 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Language: English
Published by Manning Publications, 2021
ISBN 10: 161729540X ISBN 13: 9781617295409
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 63.37
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 69.29
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.97
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.45
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 228.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 93.18
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 296 pages. 9.61x6.69x0.67 inches. In Stock.
Published by Springer, 1991
Seller: Martinton Book Company, Martinton, IL, U.S.A.
Softbound. Fine.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 114.02
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 99.79
Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 113.41
Quantity: 10 available
Add to basketPF. Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540401326 ISBN 13: 9783540401322
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19 24,2002,at St. Anne s College in Oxford, UK. This School was preceded by earlier ones in B astad (1995, Sweden, LNCS 925),Olympia,WA (1996,USA, LNCS 1129),andBraga(1998,Portugal,LNCS 1608). The goal of this series of schools is to make recent developments in the area of functional programming widely available. The notes are published to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming. ThelecturesinthisSchoolintroducetools,languagefeatures,domain-speci c languages, problem domains, or programming methods. All lectures are - companied by software, and all lectures contain exercises and practical assi- ments. Most of the resources can be downloaded via the website of the School: TheLectures Richard Bird and Jeremy Gibbons show how to construct a program for ari- meticcoding.Theyusethetheoryoffoldsandunfoldstodevelopbothaprogram forarithmeticcodinganddecoding,andaproofofcorrectness.Theelegantresult shows that using theory can make a di cult proof digestible. Manuel Chakravarty and Gabriele Keller tackle the performance problem of Haskell s standard arrays. They introduce an array library with which arr- centric algorithms can be coded elegantly, which has very good performance. Koen Claessen and Colin Runciman show how to use QuickCheck to specify programpropertiesandtotestthesepropertiesonfunctionalprograms,andhow to use Hat to trace computations. The combination of the two tools which can be used to trace computations of unexpected results is a powerful debugging tool. MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry. The workshop was organised by Kei Davis, Jak Deschner, Kevin Hammond, Carsten Kehler Holst, John Hughes, Graham Hutton, and John Launchbury, all from Glasgow University. We are very grateful for the support of our industrial sponsors: British Telecom, Hewlett Packard, ICL and Software AG. Their financial help made the workshop possible. Thanks to Samson Abramsky, Tony Field, and Paul Kelly, all from Imperial College, for their help in refereeing many of the papers. Glasgow University The Programme Committee: December 1990 Simon Peyton Jones (chairman) Chris Hankin Carsten Kehler Holst John Hughes Graham Hutton Philip Wadler Contents Lifetime Analysis Guy Argo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Compiling Laziness by Partial Evaluation Anders Bondorf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Strictness Analysis in 4D Kei Davis and Philip Wadler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 An Algorithmic and Semantic Approach to Debugging Cordelia Hall, Kevin Hammond and John O'Donnell . . . . . . . . . . . . . . . . . . . . 44 Abstract Interpretation of Term Graph Rewriting Systems Chris Hankin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Compile-Time Garbage Collection by Necessity Analysis Geoff W Hamilton and Simon B. Jones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 Improving Full Laziness Carsten Kehler Holst . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Towards Binding-Time Improvement for Free Carsen Kehler Holst and John Hughes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Towards Relating Forwards and Backwards Analyses John Hughes and John Launchbury . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 PERs Generalise Projections for Strictness Analysis Sebastian Hunt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 Functional Programming with Relations Graham Hutton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 146.15
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by CAMBRIDGE UNIVERSITY PRESS, 2003
ISBN 10: 0521826144 ISBN 13: 9780521826143
Seller: UK BOOKS STORE, London, LONDO, United Kingdom
US$ 154.22
Quantity: 1 available
Add to basketCondition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 134.92
Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Condition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 177.09
Quantity: 1 available
Add to basketpaperback. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Prentice Hall International UK Ltd, 1997
ISBN 10: 0134533259 ISBN 13: 9780134533254
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 258.60
Quantity: 1 available
Add to basketpaperback. Condition: Like New. Like NewLIKE NEW. book.