Programming environment < Programming language < Programming languages

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[20-40] [0 - 20][0 - 28]

Ident.	Authors (with country if any)	Title
000C01 (1997)	M. Hermann [France] ; R. Galbavy [France]	Unification of infinite sets of terms schematized by primal grammars
000C02 (1997)	S. Collin [France] ; D. Colnet ; O. Zendra	Type inference for late binding : The SmallEiffel compiler
000C52 (1996)		Systèmes à objets : tendances actuelles et évolution
000C61 (1996)	G. Castagna [France]	Le modèle fondé sur la surcharge : une visite guidée
000C69 (1996)	J. Malenfant [Canada]	Abstraction et encapsulation en programmation par prototypes
000D42 (1994)	D. Galmiche [France] ; G. Perrier	On proof normalization in linear logic
000D46 (1993)	D. Galmiche [France] ; H. Kirchner [France]	Les langages fonctionnels et logiques
000D65 (1991)	M. Hermann ; C. Kirchner ; H. Kirchner	Implementations of term rewriting systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Programming language" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Programming language" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Programming language
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022