Examples with "intersection types" 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.
ledit type permet d'exprimer des types commes intersections et/ou unions d'autres types
with the type system, types can be expressed as intersections and/or unions of other types
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
Une comparaison de cette liste avec la liste des financeurs majeurs dans le domaine de la migration forcée ne révèle qu'une infime intersection entre ces deux types de financement.
A comparison of that list with lists of major funders in the field of forced migration reveals little intersection.
L'étude ethnographique approfondie de ces deux sites permettra au projet de s'inscrire dans un nouveau corpus de recherche documentant les expériences touristiques et les intersections entre différents types de mobilités.
By undertaking in-depth ethnographic studies at the two sites, this project will build on an emerging body of research into tourist experience and the intersecting trajectories of uneven mobilities.
Les types intersections et unions sont un moyen d'exprimer du polymorphisme ad hoc et sont une alternative au polymorphisme paramétrique de Girard.
Intersection and union types are a way to express ad hoc polymorphism and are an alternative to the parametric polymorphism of Girard.
Nous proposons enfin des tests rapides permettant la détection robuste d'intersection entre plusieurs types d'objets convexes dans le plan et dans l'espace.
We finally present some fast overlap tests that allow to detect in a robust manner the intersection of several kinds of convex objects in the plane and in the three dimensional space.
Pour faire face à ce problème certains jeux de données à ces types utilisent les z-levels à ces types d'intersections et autres données pourraient ne pas nouer cette intersection ce qui serait ok.
To deal with this problem some data sets use z-levels at these types of intersections and other data might not node these intersection which would be ok.
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.
