Examples with "types avec intersection" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
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 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.
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.
Andere resultaten
Ainsi, en estimant le type d'intersection sur la base des fluctuations de position et de vitesse du véhicule à la fin d'une opération de décélération par le conducteur il est possible d'estimer le type d'intersection avec une plus grande précision.
Therefore, by estimating the type of intersection based on the fluctuations in the position and speed of the vehicle at the end of a deceleration operation by the driver, it is possible to estimate the type of intersection with a higher accuracy.
Résumé : Nous étudions des systèmes de typage avec des types intersections non-idempotents pour des variantes du lambda-calcul et nous discutons de leurs propriétés et de leurs applications.
Abstract: We study systems of non-idempotent intersection types for different variants of the lambda-calculus and we discuss properties and applications.
On montre que les distributeurs de types intersections sont naturellement isomorphes au développement rigide.
We show that intersection type distributors are naturally isomorphic to the rigid expansion.
Notre construction est paramétrique sur les monades de ressources et produit quatre systèmes de types intersections.
Our construction is parametric on resource monads and produces four intersection type systems.
Il est interdit de tourner à droite lorsque le feu est rouge dans ce type d'intersection.
It is not legal to turn right on a red light at these intersections.
Les premiers travaux d'Anatoly Libgober étudient le type de difféomorphisme des intersections complètes dans l'espace projectif complexe.
Libgober's early work studies the diffeomorphism type of complete intersections in complex projective space.
Il a défini les langages de programmation Théorique et Forsythe, connu pour son utilisation de l'intersection types.
He defined the programming languages Gedanken and Forsythe, known for its use of intersection types.
Deux activités de type Requête et une Intersection sont ajoutées afin de cibler les nouveaux abonnés qui ont participé au dernier jeu concours.
Two Query activities and one Intersection activity are added to target new subscribers who entered last the competition.
ledit type permet d'exprimer des types commes intersections et/ou unions d'autres types
Ce sont ces types d'échanges intersectionnels qui nous renforcent, nous et nos mouvements, qui reconstituent notre engagement pour notre longue lutte.
It is such intersectionalities that make ourselves - and our movements - stronger, replenishing us on our long struggle.
Connaître l'offre commerciale d'une géométrie de type intersection, addition ou différence de plusieurs géométries.
To know the commercial offer of a geometry of the intersection, addition or difference type of several geometries
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
