IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 - Workshops in Computing (Paperback)
  • IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 - Workshops in Computing (Paperback)
zoom

IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 - Workshops in Computing (Paperback)

(volume editor)
£76.50
Paperback 285 Pages / Published: 31/07/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September 10-14 1990 and organised by the Computer Science Department of the University of Calgary. The workshop gathered together researchers interested in applying higher order techniques to a range of problems. The workshop format had a few (but fairly long) presentations per day. This left ample time for healthy discussion and argument, many of which continued on into the small hours. With so much to choose from, the program had to be selective. This year's workshop was divided into five parts: 1. Expressing and reasoning about concurrency: Warren Burton and Ken Jackson, John Hughes, and Faron Moller. 2. Reasoning about synchronous circuits: Geraint Jones and Mary Sheeran (with a bonus on the fast Fourier transform from Geraint). 3. Reasoning about asynchronous circuits: Albert Camilleri, Jo Ebergen, and Martin Rem. 4. Categorical concepts for programming languages: Robin Cockett, Barry Jay, and Andy Pitts.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540196600
Number of pages: 285
Weight: 555 g
Dimensions: 242 x 170 x 16 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Systems Analysis and Design
Added to basket
IT Architecture For Dummies
Added to basket
Patterns of Information Management
Added to basket
The Mythical Man-Month
Added to basket
The Computer and the Brain
Added to basket
Developing Analytic Talent
Added to basket
Business Analysis Techniques
Added to basket
Elemental Design Patterns
Added to basket
NEUTRABAS
Added to basket
£49.99
Paperback
US For Beginners
Added to basket
£23.99
Paperback
Developing Information Systems
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.