|
" Two-level functional languages / "
Flemming Nielson, Hanne Riis Nielson.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1040109
|
| Doc. No
|
:
|
b794479
|
| Main Entry
|
:
|
Nielson, Flemming,1955-
|
| Title & Author
|
:
|
Two-level functional languages /\ Flemming Nielson, Hanne Riis Nielson.
|
| Publication Statement
|
:
|
Cambridge ;New York, NY, USA :: Cambridge University Press,, 1992.
|
| Series Statement
|
:
|
Cambridge tracts in theoretical computer science ;; 34
|
| Page. NO
|
:
|
xii, 299 pages ;; 26 cm.
|
| ISBN
|
:
|
0521403847
|
|
|
:
|
: 9780521403849
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 285-292) and index.
|
| Subject
|
:
|
Functional programming languages.
|
| Subject
|
:
|
génération code.
|
| Subject
|
:
|
interprétation abstraite.
|
| Subject
|
:
|
lambda calcul.
|
| Subject
|
:
|
logique combinatoire.
|
| Subject
|
:
|
théorie type.
|
| Subject
|
:
|
Functional programming languages.
|
| Subject
|
:
|
Funktionale Programmiersprache
|
| Subject
|
:
|
Implementation
|
| Subject
|
:
|
Implementierung
|
| Subject
|
:
|
Lambda-calcul.
|
| Subject
|
:
|
Langages de programmation fonctionnelle.
|
| Subject
|
:
|
Programmation fonctionnelle (informatique)
|
| Subject
|
:
|
Funktionale Programmiersprache.
|
| Subject
|
:
|
Implementierung.
|
| Subject
|
:
|
Functionele talen.
|
| Dewey Classification
|
:
|
005.13
|
| LC Classification
|
:
|
QA76.62.N54 1992
|
| NLM classification
|
:
|
54.53bcl
|
|
|
:
|
DAT 544fstub
|
|
|
:
|
PN 457blsrissc
|
|
|
:
|
ST 130rvk
|
|
|
:
|
ST 240rvk
|
| Added Entry
|
:
|
Nielson, Hanne Riis,1954-
|
| |