skip to main content

Langue:

KERNEL (A) LANGUAGE FOR MODULES AND ABSTRACT DATA TYPES.

PALO-ALTO : DIGITAL, 1984

Voir les exemplaires

Actions

Titre:
KERNEL (A) LANGUAGE FOR MODULES AND ABSTRACT DATA TYPES.
Sujets: TYPE ABSTRAIT;
LAMBDA CALCUL;
SEMANTIQUE;
Langage de programmation;
Théorie des Types;
H-INF.TH.;
LANGAGE PEBBLE;
SEMANTIQUE OPERATIONNELLE
Description: Mines : USA .MAJ:90-04-10
Éditeur: PALO-ALTO : DIGITAL
Date de publication: 1984
Format: 01 VOL.,51 P. : PR 2 ; 28 CM
Langue: Anglais
Source: Mines ParisTech (catalogue)

Liens

Voir dans le catalogue (MINES Paris Tech)

Retour à la liste des résultats

Recherche dans les bases de données distantes en cours. Merci de patienter.

Recherche
dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
Afficher ce qui a déjà été récupéré