> Details

Cousineau, Guy [Other] ; Laboratoire d'informatique théorique et programmation

Combinators and functional programming languages

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: Combinators and functional programming languages : thirteenth Spring School of the LITP, Val d'Ajol, France, May 6 - 10, 1985 ; proceedings
  • Contributor: Cousineau, Guy [Other]
  • Corporation: Laboratoire d'informatique théorique et programmation
  • imprint: Berlin [u.a.]: Springer, 1986
    Online-Ausg., Berlin [u.a.]: Springer, 2006
  • Published in: Lecture notes in computer science ; 24200
  • Extent: Online-Ressource (IV, 208 S.)
  • Language: English; French
  • DOI: 10.1007/3-540-17184-3
  • ISBN: 9783540472537
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Kombinatorik > Programmiersprache
    Funktionale Programmierung
    Funktionale Programmiersprache
    Lambda-Kalkül
  • Reproductino series: Springer lecture notes archive
  • Type of reproduction: Online-Ausg.
  • Place of reproduction: Berlin [u.a.]: Springer, 2006
  • Origination:
  • Footnote: Literaturangaben
    Beitr. teilw. engl., teilw. franz
  • Description: 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.