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

Two-level functional languages

種類:
図書
責任表示:
Flemming Nielson and Hanne Riis Nielson
出版情報:
Cambridge : Cambridge University Press, 1992
著者名:
シリーズ名:
Cambridge tracts in theoretical computer science ; 34 <BA01121831>
ISBN:
9780521403849 [0521403847]  CiNii Books  Calil
注記:
Bibliography: p. 285-292
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Principles of program analysis

Nielson, Flemming, 1955-, Nielson, Hanne Riis, 1954-, Hankin, Chris

Springer-Verlag
7 図書 Computer logic : the functional design of digital computers

Flores, Ivan

Prentice-Hall
2 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

European Symposium on Programming, Nielson, Hanne Riis, 1954-

Springer-Verlag
8 図書 THE AWK PROGRAMMING LANGUAGE

AHO, ALFRED V. <ET AL.>

ADDISON-WESLEY PUB.
3 電子ブック Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Nielson, Hanne Riis, SpringerLink (Online service)

Springer-Verlag
9 図書 Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991

Glasgow Workshop on Functional Programming, Heldal, Rogardt, 1964-, Holst, Carsten Kehler, 1962-, Wadler, Philip, 1956-, &hellip;

Springer-Verlag in collaboration with the British Computer Society
4 図書 ML with concurrency : design, analysis, implementation, and application

Nielson, Flemming, 1955-

Springer
10 図書 AMPL : a modeling language for mathematical programming

Fourer, Robert, Gay, David M., Kernighan, Brian W., 1942-

Boyd & Fraser
5 図書 LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING

<ED. BY> HUET, GERARD

ADDISON-WESLEY PUB.
11 図書 C PROGRAMMING : A COMPLETE GUIDE TO MASTERING THE C LANGUAGE

HANSEN, AUGIE

ADDISON-WESLEY PUB.
6 電子ブック Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

Nielson, Hanne R., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Lauer, Peter E

Springer-Verlag