Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Type classes
Geflecteerde vorm van type class
Vertaling van "Type classes" in Frans
classes de type
classes de types
Type classes are expected to implement the following methods
Ces classes de type s'attendent à implémenter les méthodes suivantes
I am one of the main developers of the Coq proof assistant and have made significant developments in the system using the novel tools I added to it (notably Program and Type Classes).
Je suis l'un des développeurs principaux de l'assistant de preuve Coq et j'ai réalisé des développements significatifs dans ce système utilisant les nouveaux outils que j'ai conçu: Program et les classes de type.
Type classes are a very powerful language construct.
Les classes de types sont une structure de langage très puissante.
We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical and powerful implementation of a generalized rewriting tactic based on them.
Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes.
We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical yet powerful implementation of a generalized rewriting tactic based on them.
Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes.
a lightening of skin tone equivalent to one or two fitzpatrick skin type classes may be achieved in about three to six months
un éclaircissement du teint de la peau équivalant à un ou deux classes des types de peau de fitzpatrick peut être obtenu en environ trois à six mois
The predicted concentrations of the high molecular weight components for the plurality of type classes are then compared with corresponding concentrations measured by downhole fluid analysis for the plurality of measurement stations tu identify the best matching type class.
Les concentrations prévues des composants de haute masse moléculaire pour les plusieurs classes de type sont ensuite comparées aux concentrations correspondantes mesurées par l'analyse de fluide de puits pour les plusieurs stations de mesure afin d'identifier la classe de type correspondant le mieux.
For each of a plurality of type classes corresponding to different subsets of a predetermined set of high molecular weight components, a model is used to predict the concentration of the components of the given type class for the plurality of measurement stations.
The unknown class voxels are processed to classify the unknown class voxels into one of the two-material type classes.
Les voxels de catégorie inconnue sont traités en fonction des modèles de gradient d'intensité pour classer les voxels de catégorie inconnue dans l'une des catégories de type à deux matériaux.
With regard to the new classification, experts already agree that the 3 new type classes are unlikely to generate new differentiations between the product categories already on the market.
Au sujet de cette nouvelle classification, les experts estiment qu'il y a peu de chances que ces 3 nouvelles classes permettent de différencier les gants de protection contre les risques chimiques présents sur le marché.
Résumé en anglais This thesis presents advances in the use of Canonical Structures, a programming language construct of the Coq proof assistant equivalent to the notion of type classes.
Cette thèse présente des avancées dans l'utilisation des Structures Canoniques, un mécanisme du langage de programmation de l'assistant de preuve Coq, équivalent à la notion de classes de types.
USING CAMERA METADATA TO CLASSIFY IMAGES INTO SCENE TYPE CLASSES
UTILISATION DE MÉTADONNÉES CAMÉRA POUR CLASSER DES IMAGES PAR TYPE DE SCÈNE
Then we describe an integration and extension of the type classes concept à la Haskell into Coq, providing a simple interpretation of the constructs linked with type classes into the underlying dependent type theory.
D'autre part, nous décrivons l'intégration et l'extension d'un système de "Type Classes" venu d'Haskell à Coq via une simple interprétation des constructions liées aux classes dans la théorie des types sous-jacente.
Synoniemen voor Type classes in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 14. Exact: 14. Verstreken tijd: 44 ms.
