>> Amazon.co.jp
このページのQRコード

The functional approach to programming

種類:
図書
責任表示:
Guy Cousineau, Michel Mauny
出版情報:
New York : Cambridge University Press, 1998
著者名:
ISBN:
9780521571838 [0521571839] (hd)  CiNii Books  Calil
9780521576819 [0521576814] (pbk)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logical foundations of functional programming

Huet, Gérard

Addison-Wesley
7 電子ブック Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Cousineau, Guy, Curien, Pierre-Louis, Robinet, Bernard, SpringerLink (Online service)

Springer-Verlag
2 図書 Applications of functional programming

Runciman, C. (Colin), 1955-, Wakeling, D. (David), 1965-

UCL Press
8 電子ブック Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

Cousineau, Guy., Curien, Pierre-Louis., Robinet, Bernard., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 図書 Drawing programs : the theory and practice of schematic functional programming

Addis, Tom, Addis, Jan

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

Laboratoire Informatique Théorique et Programmation (France). Spring School, Cousineau, Guy, Curien, Pierre-Louis, …

Springer-Verlag
4 図書 An introduction to functional programming through Lambda calculus

Michaelson, Greg

Addison-Wesley
10 図書 Extensional constructs in intensional type theory

Hofmann, Martin, 1965-

Springer
5 図書 The Haskell school of expression : learning functional programming through multimedia

Hudak, Paul

Cambridge University Press
11 図書 Semantics of type theory : correctness, completeness, and independence results

Streicher, Thomas, 1958-

Birkhäuser
6 図書 The functional treatment of parsing

Leermakers, René

Kluwer Academic Publishers
12 図書 ML with concurrency : design, analysis, implementation, and application

Nielson, Flemming, 1955-

Springer