Table of contents

  1. Front Matter
  2. Mads Dam, Frank Jensen
    Pages 1-29
  3. Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe
    Pages 41-52
  4. U. Kastens, M. Schmidt
    Pages 53-69
  5. Chris L. Hankin, Geoffrey L. Burn, Simon L. Peyton Jones
    Pages 99-110
  6. Hanne R. Nielson, Flemming Nielson
    Pages 133-143
  7. Maurice Naftalin
    Pages 144-159
  8. Gilles Bernot, Michel Bidoit, Christine Choppy
    Pages 173-186
  9. J. He, C. A. R. Hoare, J. W. Sanders
    Pages 187-196
  10. Rémi Triolet, Paul Feautrier, François Irigoin
    Pages 210-222

About these proceedings

Keywords

Resolution functional programming logic optimization programming programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16442-1
  • Copyright Information Springer-Verlag 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16442-5
  • Online ISBN 978-3-540-39782-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book