IV Higher Order Workshop, Banff 1990

Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

  • Graham Birtwistle
Conference proceedings

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-x
  2. F. Warren Burton, W. Ken Jackson
    Pages 1-10
  3. John Hughes, John O’Donnell
    Pages 11-31
  4. Geraint Jones, Mary Sheeran
    Pages 54-65
  5. Mary Sheeran
    Pages 66-76
  6. Geraint Jones
    Pages 77-84
  7. Andrew M. Pitts
    Pages 162-189
  8. J. Robin, B. Cockett
    Pages 190-217
  9. Mark Saaltink, Dan Craigen
    Pages 218-244
  10. Michael P. Fourman, Roberto A. Hexsel
    Pages 245-264
  11. Lars Rossen
    Pages 265-283
  12. Back Matter
    Pages 285-285

About these proceedings


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.


Higher order techniques Ruby Softwareentwicklung communication concurrency development formal methods functional programming language logic process algebra programming programming language semantics software

Editors and affiliations

  • Graham Birtwistle
    • 1
  1. 1.Department of Computer ScienceUniversity of CalgaryCalgaryCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1991
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19660-0
  • Online ISBN 978-1-4471-3182-3
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
IT & Software