Examples with "Type Classes" 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.
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.
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.
Andere resultaten
Il existe deux types de compteurs de barres du type classique.
Mais nous ne devrions pas sous-estimer le type classique de thé.
La conséquence fut une explosion massive immédiate de type classique.
Le phéromotype C représente donc probablement une espèce soeur de type classique.
Thus, pheromotype C probably represents a classic sibling species.
La définition a été adoptée par la Commission des armements de type classique.
The definition was adopted by the Commission for Conventional Armaments.
C'est simplement une menace pour les types classiques de diffusion.
With le chargeur' nous présente un type classique - très moderne.
Panneaux de radiateur en bronze, type classique ou modulaire.
Ce cylindre peut être de type classique ou sans raccord.
Une fois là, elles bénéficient également d'un enseignement de type classique.
Once there, they also receive formal education.
Mitigeur pour évier de cuisine de type classique au design col de cygne.
Classic kitchen sink mixer with gooseneck design.
Type classique cascades de nouvelle construction, en Dehesa de Campoamor.