%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Lescanne, P.
%T Programmation fonctionnelle et substitutions explicites
%B CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
%C Paris
%D 1996
%E Moukeli, P.
%L fdi:010008789
%G FRE
%I ORSTOM
%@ 2-7099-1333-X
%K LANGAGE DE PROGRAMMATION ; SUBSTITUTION ; FONCTION MATHEMATIQUE
%P 830-841
%U https://www.documentation.ird.fr/hor/fdi:010008789
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/010008789.pdf
%W Horizon (IRD)
%X Le lambda calcul est l'outil théorique de base pour l'étude des langages de programmation et plus précisément des langages de programmation fonctionnels. La substitution y joue un rôle essentiel, c'est pourquoi nous l'avons étudiée et nous présentons un calcul dit de substitutions explicites qui permet de l'intégrer à l'intérieur du lambda calcul. De là, nous introduisons une machine abstraite, la machine à triade qui sert de substrat aux implantations du lambda calcul et donc aux implantations des langages fonctionnels. (Résumé d'auteur)
%S Colloques et Séminaires
%B CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science
%8 1996/10/09-16
%$ 122LOGIC