Searching for "Combinateures" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Décrire Et Comparer Les Implantations De Langages Fonctionnels
- … simples (combinateurs + flot de contrôle explicite) qui peuvent être vues comme du code machine. Un des…
- Add To MetaCart
-
Lambda-Calculus, Combinators and the Comprehension Scheme
- … 63 55 11 -- T'el'ecopie : (33 1) 39 63 53 30 Le lambda-calcul, les combinateurs et le sch'ema de…
- Cited by 1 (1 self) – Add To MetaCart
-
Machines, Interprètes
- …. Enfin, peut-on garantir que la fonction norm est correcte ? 1.1 Combinateurs SKI Une idée qui résout la…
- Add To MetaCart
-
Lambda-calcul et langages fonctionnels
- … un point fixe de F. Un tel Y est appelé un combinateur de point fixe. Preuve : Ce théorème est…
- Cited by 1 (0 self) – Add To MetaCart
-
Résolution D'Équations Dans Le Système T De Gödel
- … mani`ere de le faire consiste en l'utilisation d'un combinateur de point fixe. Un combinateur de point…
- Add To MetaCart
-
Combining Information from Multiple Classifiers for Speaker Verification
- …'utilisation d'un combinateur non lin'eaire de combiner les r'esultats de deux syst`emes ind'ependants de v…
- Add To MetaCart
-
The Recursive Record Semantics of Objects Revisited
- … en appel par valeur requiert l'utilisation d'un combinateur de point xe qui peut introduire des…
- Cited by 26 (1 self) – Add To MetaCart
-
2004a, ‘Computational semantics in type theory
- … combinateurs et des constituants discontinus. Le fragment PTQ est aussi présenté comme exemple de la…
- Cited by 1 (1 self) – Add To MetaCart
-
A Taxonomy of Functional Language Implementations Part I: Call by Value
- … efficaces. Mots-clé : Compilation, optimisations, transformation de programmes, λ-calcul, combinateurs * Ce…
- Cited by 12 (6 self) – Add To MetaCart
-
A Few Remarks on SKInT
- … conjonctifs S, qui n'a pas le type universel !. Mots-cl'e : combinateurs s'equentiels, lambda-calcul, logique…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
