Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
type inference algorithm
Vertaling van "type inference algorithm" in Frans
algorithme d'inférence de type
We show that subtyping captures indeed the cœrcions, and we give a fully-fledged type inference algorithm for this extended system.
Nous montrons que le sous-typage capture bien les cœrcicions, et nous donnons un algorithme d'inférence complet pour ce système étendu.
The first part of this thesis is devoted to the theoretical definition of the core language, its semantics and its type system as well as a type inference algorithm.
Une première partie de la thèse est consacrée à la définition théorique du langage, sa sémantique, son système de type ainsi que la définition d'un algorithme d'inférence de types.
We present a type inference algorithm for Dual light affine logic (dlal), a type system which characterises the polynomial time complexity class.
Nous présentons un algorithme d'inférence de type pour Dual light affine logic (dlal), un système de type qui caractérise la classe de complexité polynomiale.
Our solution consists of a restricted language of combinators, dubbed filters, which features a precise typing policy, a type inference algorithm and are powerful enough to express complex XML transformations (XPath encoding, XSLT transformations, ...).
Notre solution consiste en un langage restreint de combinateurs, appelés filtres, qui possède à la fois une discipline de typage précise, de l'inférence de type et une expressivité suffisante pour exprimer des transformations XML complexes (encodage d'XPath, transformations XSLT, ...).
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic).
En 1958, Feys et Haskell B. Curry ont mis au point l'algorithme d'inférence de type pour le lambda-calcul simplement typé et la logique combinatoire.
In 1978, Robin Milner introduces the Hindley-Milner type inference algorithm for ML.
En 1978, Robin Milner introduit l'algorithme d'inférence de type Hindley-Milner pour ML.
In 1969, J. Roger Hindley publishes The Principal Type-Scheme of an Object in Combinatory Logic, later generalized into the Hindley-Milner type inference algorithm.
En 1969, J. Roger Hindley publie The Principal Type-Scheme of an Object in Combinatory Logic, plus tard généralisé dans l'algorithme d'inférence de type Hindley-Milner.
Synoniemen voor type inference algorithm in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 315 ms.
