---

＜電子ブック＞
Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
(Lecture Notes in Computer Science. ISSN:16113349 ; 242)

版	1st ed. 1986.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1986
本文言語	英語
大きさ	VIII, 212 p : online resource
著者標目	Cousineau, Guy editor Curien, Pierre-Louis editor Robinet, Bernard editor SpringerLink (Online service)
件　名	LCSH:Computer programming LCSH:Computer science FREE:Programming Techniques FREE:Theory of Computation FREE:Computer Science Logic and Foundations of Programming
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-17184-3

 類似資料