Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
intersection types
Examples with "intersection types" and their translation in Frans
Abstract: We study systems of non-idempotent intersection types for different variants of the lambda-calculus and we discuss properties and applications.
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.
Another notion of approximation in lambda-calculus is given by intersection types, introduced by Coppo and Dezani in the 80s.
Une autre notion d'approximation dans le lambda-calcul est donné par les types intersections, introduits par Coppo et Dezani dans les années 80.
Mobile Tutorial Enter up to 5 domains to compare, select keywords and intersection types, and press the Go button.
Mobile Tutorial Entrez jusqu'à 5 domaines à comparer, sélectionnez les types de mots clés et d'intersection et appuyez sur le bouton Valider.
He defined the programming languages Gedanken and Forsythe, known for its use of intersection types.
Il a défini les langages de programmation Théorique et Forsythe, connu pour son utilisation de l'intersection types.
In spite of this soundness-and-completeness result, the original type system by Kobayashi and Ong was not designed with the connection between intersection types and models of linear logic observed by Bucciarelli, Ehrhard, de Carvalho and Terui in mind.
En dépit de cette adéquation, le système de types de Kobayashi et Ong a été pensé indépendamment de la connexion existant entre les types intersections et les modèles de la logique linéaire, relation observée par Bucciarelli, Ehrhard, de Carvalho et Terui.
In spite of this soundness-and-completeness result, the original type system by Kobayashi and Ong was not designed with the connection between intersection types and models of linear logic observed by Bucciarelli, Ehrhard, de Carvalho and Terui in mind.
En dépit de cette adéquation, le système de types de Kobayashi et Ong a été pensé indépendamment de la connexion existant entre les types intersections et les modèles de la logique linéaire, relation observée par Bucciarelli, Ehrhard, de Carvalho et Terui.
Andere resultaten
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.
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.
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.
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.
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.
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.
Synoniemen voor intersection types in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 165. Exact: 6. Verstreken tijd: 239 ms.
