Advertisement

Table of contents

  1. Front Matter
  2. P. Bellot, B. Robinet
    Pages 1-20
  3. Luca Cardelli
    Pages 21-47
  4. Luca Cardelli
    Pages 48-70
  5. Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
    Pages 85-103
  6. J. Roger Hindley
    Pages 104-122
  7. Simon L Peyton Jones
    Pages 176-208

About these proceedings

Keywords

calculus functional programming programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-17184-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17184-3
  • Online ISBN 978-3-540-47253-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site