Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings

>> Google Books

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 and Bernard Robinet

言語:

英語; フランス語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1986

形態:

iv, 208 p. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 242 <BA00009279>

書誌ID:

BA00420451

ISBN:

9783540171843 [3540171843] (: gw)

9780387171845 [0387171843] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	プログラミング用言語(電子計算機)
分類・件名:	LCC : QA76.7 DDC : 005.13/3 NDC8 : 007.64 LCSH : Functional programming languages -- Congresses LCSH : Combinatory logic -- Congresses NDLSH : プログラミング用言語(電子計算機)
LCCN:	86031324
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings Laboratoire Informatique Théorique et Programmation (France). Spring School, Choffrut, Christian Springer-Verlag	7 図書 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941- Springer-Verlag
2 図書 Categorical combinators, sequential algorithms, and functional programming Curien, Pierre-Louis Birkhäuser	8 図書 International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 Robinet, Bernard, 1941-, International symposium on programming Springer-Verlag
3 図書 Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May … Laboratoire Informatique Théorique et Programmation (France). Spring School, Gross, Maurice, 1934-, Perrin, Dominique Springer-Verlag	9 図書 System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : proceedings Workshop on Software Factories and Ada, Habermann, Arie Nicolass, 1932-, Montanari, U. (Ugo) Springer-Verlag
4 図書 Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings Guessarian, Irène, 1948-, Laboratoire Informatique Théorique et Programmation (France). Spring School, Institut pour … Springer-Verlag	10 図書 Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial … International Spring School on Advanced Functional Programming Techniques, Jeuring, Johan, 1965-, Meijer, Erik, 1963- Springer-Verlag
5 図書 Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings Pin, Jean Eric, Ecole de printemps d'informatique théorique Springer-Verlag	11 図書 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre Springer Verlag
6 図書 Programming Symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 Programming Symposium, Robinet, Bernard, 1941- Springer-Verlag	12 図書 Lambda-calculus, combinators, and functional programming Révész, György E. Cambridge University Press