> Detailanzeige

Cousineau, Guy [Sonstige Person, Familie und Körperschaft] ; Laboratoire d'informatique théorique et programmation

Combinators and functional programming languages

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Konferenzbericht
  • Titel: Combinators and functional programming languages : thirteenth Spring School of the LITP, Val d'Ajol, France, May 6 - 10, 1985 ; proceedings
  • Beteiligte: Cousineau, Guy [Sonstige Person, Familie und Körperschaft]
  • Körperschaft: Laboratoire d'informatique théorique et programmation
  • Erschienen: Berlin [u.a.]: Springer, 1986
    Online-Ausg., Berlin [u.a.]: Springer, 2006
  • Erschienen in: Lecture notes in computer science ; 24200
  • Umfang: Online-Ressource (IV, 208 S.)
  • Sprache: Englisch; Französisch
  • DOI: 10.1007/3-540-17184-3
  • ISBN: 9783540472537
  • Identifikator:
  • RVK-Notation: SS 4800 : Lecture notes in computer science
  • Schlagwörter: Kombinatorik > Programmiersprache
    Funktionale Programmierung
    Funktionale Programmiersprache
    Lambda-Kalkül
  • Reproduktionsreihe: Springer lecture notes archive
  • Art der Reproduktion: Online-Ausg.
  • Hersteller der Reproduktion: Berlin [u.a.]: Springer, 2006
  • Entstehung:
  • Anmerkungen: Literaturangaben
    Beitr. teilw. engl., teilw. franz
  • Beschreibung: Streams are not dreams -- Amber -- The amber machine -- Sur l'analogie entre les propositions et les types -- Combinateurs Catégoriques et Implémentation des Langages Fonctionnels -- Combinators and lambda-calculus, a short outline -- Cartesian closed categories and lambda-calculus -- Cartesian closed categories and typed ?-calculi -- An introduction to fully-lazy supercombinators.