F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties.
0
entreprises
Statistiques d'utilisation de la technologie et part de marché
Vous pouvez personnaliser ces données selon vos besoins en filtrant par géographie, industrie, taille de l'entreprise, chiffre d'affaires, utilisation de la technologie, postes de travail et plus encore. Vous pouvez télécharger les données au format Excel ou CSV.
Vous pouvez recevoir des alertes pour ces données. Vous pouvez commencer par sélectionner la technologie qui vous intéresse, puis vous recevrez des alertes dans votre boîte de réception lorsque de nouvelles entreprises utiliseront cette technologie.
Vous pouvez exporter ses données vers un fichier Excel, qui peut être importé dans votre CRM. Vous pouvez également exporter les données vers une API.
Questions fréquemment posées