Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
ML-style programming

Examples with "ML-style programming" and their translation in Frans

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.
ML
millilitre cl RPC
style
style modèle type mode façon
programming
programmation programme programmes émissions programmer
To bridge this gap, we aim at designing an ML-style programming language with support for proofs of programs, combining in a single tool the flexibility of ML and the fine specification features of a proof assistant.
Pour combler cet écart, nous entendons concevoir un langage de programmation de style ML supportant la preuve de programmes.

Andere resultaten

Objective Caml was the first language to combine the full power of object-oriented programming with ML-style static typing and type inference.
Objective Caml fut le premier langage de programmation a combiner toute la puissance de la programmation par objets avec un typage statique avec inférence dans le style de ML.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor ML-style programming in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
ice cream cone: ice cream served in a thin cone
Ontdek het woord
ice cream cone
Publiciteit

Resultaten: 2. Exact: 1. Verstreken tijd: 267 ms.