Examples with "sur le lambda" 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.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
Type theory is based on the lambda calculus which is purely functional.
Par exemple, mon cours sur le lambda calcul est la glose d'une bibliothèque de programmes exécutables, permettant aux étudiants d'apprendre en utilisant ces algorithmes.
For example, my lesson on lambda calculus is the explanation of a library of executable programs, enabling students to learn by using these algorithms.
Je me souviens de ses notes de cours exécutable sur le lambda calcul qui permet d'expérimenter les algorithmes et de donner ainsi un caractère très concret à un sujet autrement très théorique.
I remember his executable lecture notes on lambda calculus which allowed us to experiment with the algorithms and therefore gave a very practical side to a subject that is otherwise very theoretical.
Résumé : Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau.
Abstract: Functional programming languages, like OCaml or Haskell, rely on the lambda calculus for their core language.
Andere resultaten
Il est fondé sur le lambda-calcul et la logique combinatoire.
Affiche simultanément le boost ou le vide et l'afr ou le lambda sur la même jauge; aucun étalonnage à l'air libre requis - jamais; capteur de suralimentation interne.
Displays both boost or vacuum and AFR or Lambda simultaneously on the same gauge; no free air calibration required - ever; internal boost sensor.
Le Schéma 3 affiche avant et après des échographies sur le Lambda-Résumé ADN en liquide.
Figure 3 shows before and after scans on Lambda-digest DNA in fluid.
Résumé : Le sujet de cette thèse est sur le lambda-calcul décoré avec des types, communément appelé « lambda-calcul typé à la Church ».
Abstract: The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-style typed lambda-calculus".
Généralement, les applications hébergées sur Lambda ne le seront que dans une seule de ces régions.
Typically a Lambda-hosted application will be hosted in only one of these regions.
Parfois, cette guerre entre groupes de pirates et chercheurs se répercute sur le consommateur lambda.
Sometimes the scuffles between these piracy crews and researchers do trickle down to the ordinary consumer.
Donne une influence positive sur le fonctionnement des sondes lambda et du FAP.
Dans cet article, l'auteur utilise des arguments basés sur le calcul lambda pour montrer pourquoi les logiciels ne peuvent être brevetés.
In this article the author uses arguments based on lambda calculus to show why software cannot be patented.
En résumé, cela signifie que toutes ces nouvelles informations sur le citoyen lambda sont accessibles à un coût très bas.
So what that means is we have all of this information on regular people that's newly available at very low expense.
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.
