Skip to main content
SpringerLink
Log in
Book cover

Combinators and Functional Programming Languages

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Guy Cousineau
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pierre-Louis Curien
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bernard Robinet
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 242)

Included in the following conference series:

Conference proceedings info: LITP 1985.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Download chapter PDF

  2. Streams are not dreams

    • P. Bellot, B. Robinet
    Pages 1-20

  3. Amber

    • Luca Cardelli
    Pages 21-47

  4. The amber machine

    • Luca Cardelli
    Pages 48-70

  5. Sur l'analogie entre les propositions et les types

    • Thierry Coquand
    Pages 71-84

  6. Combinateurs Catégoriques et Implémentation des Langages Fonctionnels

    • Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
    Pages 85-103

  7. Combinators and lambda-calculus, a short outline

    • J. Roger Hindley
    Pages 104-122

  8. Cartesian closed categories and lambda-calculus

    • Gérard Huet
    Pages 123-135

  9. Cartesian closed categories and typed λ-calculi

    • J. Lambek
    Pages 136-175

  10. An introduction to fully-lazy supercombinators

    • Simon L Peyton Jones
    Pages 176-208
Back to top

Other volumes

  1. Combinators and Functional Programming Languages

Keywords

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

  • DOI: https://doi.org/10.1007/3-540-17184-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-17184-3Published: 01 November 1986

  • eBook ISBN: 978-3-540-47253-7Published: 02 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 212

  • Topics: Programming Techniques, Computation by Abstract Devices, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation