Examples with "sur le lambda calcul" 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.
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.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
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.
