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

  • Book Title Combinators and Functional Programming Languages
  • Book Subtitle Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
  • Editors Guy Cousineau
    Pierre-Louis Curien
    Bernard Robinet
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • 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
  • Softcover ISBN 978-3-540-17184-3
  • eBook ISBN 978-3-540-47253-7
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages VIII, 212
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Programming Techniques
    Computation by Abstract Devices
    Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Automotive
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace