Spelling suggestions: "subject:"langages dde programmation fonctionnelle."" "subject:"langages dee programmation fonctionnelle.""
1 |
Évaluation paresseuse des filtrages avec priorité, application au langage ML... /Laville, Alain, January 1988 (has links)
Th.--Informatique--Paris VII, 1988. / Bibliogr. p. 125-127.
|
2 |
Machines virtuelles pour langages applicatifs et langages acteur réalisation et programmation.Danvy, Olivier. January 1986 (has links)
Th.--Inform.--Paris 6, 1986.
|
3 |
Validation sémantique dans les théories structurées application à un langage de programmation générique /Drabik, Pascal. Bert, Didier. Mossière, Jacques. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 177-185.
|
4 |
Fonctions et généricité dans un langage de programmation parallèleHufflen, Jean-Michel. Jorrand, Philippe. Bert, Didier. Verjus, Jean-Pierre. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 223-234. Index.
|
5 |
Logiques, catégories et machines : implantation de langages de programmation guidée par la logique catégorique /Lafont, Yves, January 1988 (has links)
Th. univ.--Informatique--Paris VII, 1988. / Bibliogr. p. 123-124.
|
6 |
Vers une compilation portable et performante des langages fonctionnels /Serrano, Manuel. January 1995 (has links)
Th. doct.--Informatique--Paris 6, 1994.
|
Page generated in 0.1804 seconds