Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Intersection type
Vertaling van "Intersection type" in Frans
types intersections
types avec intersection
types intersection
We show that intersection type distributors are naturally isomorphic to the rigid expansion.
On montre que les distributeurs de types intersections sont naturellement isomorphes au développement rigide.
Our construction is parametric on resource monads and produces four intersection type systems.
Notre construction est paramétrique sur les monades de ressources et produit quatre systèmes de types intersections.
In a third and last part, we introduce intersection type distributors and, inspired by the work of Tsukada, Asada and Ong, the rigid expansion of lambda-terms.
Dans une troisième et dernière partie, on introduit les distributeurs de types intersections et, inspiré par le travail de Tsukada, Asada et Ong, le développement rigide des lambda-termes.
An Intersection type activity is then added to target the recipients added to the database within the last six months and who entered the last competition.
Une activité de type Intersection est ensuite ajoutée pour cibler les destinataires qui ont été ajoutés dans la base au cours des six derniers mois et qui ont participé au dernier jeu.
In Union or Intersection type activities, you can choose to keep only shared additional data to keep the data consistent.
Dans les activités de type Union ou Intersection, vous pouvez choisir de ne conserver que les données additionnelles communes afin d'homogénéiser les données.
intersection type and number of arms (noting in particular the type of control and the presence of protected turns)
type d'intersection et nombre de branches (en précisant, en particulier, le type de contrôle et la présence de virages protégés)
We define a large class of relational models, called relational graph models (rgm's), and we study them in a type/proof-theoretical way, using some non-idempotent intersection type systems.
Nous définissons une classe de modèles relationnels, les modèles de graphe relationnels (rgm's), que nous étudions avec une approche issue de la théorie des types et de la démonstration, par le biais de certains systèmes de types avec intersection non-idémpotente.
This intersection type system enables one to type a higher-order recursion scheme with states of a given automaton, associated with a formula of monadic second-order logic.
Notre approche débute par une étude du système de types intersection de Kobayashi et Ong, qui permet de typer un schéma de récursion d'ordre supérieur avec les états d'un automate donné encodant une formule de la logique monadique du second ordre.
We also present an implementation, MlObj, and an abstract machine for execution.In a second part, we design a new inference algorithm for intersection type systems, on an extension of the lambda-calculus.
Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul.
Our analysis leads us to the definition of an alternative intersection type system, which enjoys a similar soundness-and-completeness theorem with respect to higher-order model-checking.
Notre analyse nous a permis de définir un système de types intersection dérivé de celui de Kobayashi et Ong, capturant lui aussi le model-checking d'ordre supérieur de façon adéquate.
These two notions of approximation are a syntactic presentation of the bicategorical semantics induced by the Kleisli constructions studied in the second part. Intersection type distributors determine intersection type systems with subtyping.
Ces deux notions d'approximation sont une présentation syntaxique de la sémantique bicatégorique induite par les bicatégories de Kleisli étudiées dans la deuxième partie.
Synoniemen voor Intersection type in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 11. Exact: 11. Verstreken tijd: 49 ms.
