Présentation de F* : un langage de programmation polyvalent orienté vers la preuve, prenant en charge à la fois la programmation purement fonctionnelle et la programmation avec effet.
Voici la présentation de F*. F* est un langage de programmation polyvalent orienté vers la preuve, qui prend en charge à la fois la programmation...
En savoir plus...
Présentation de F* : un langage de programmation polyvalent orienté vers la preuve, prenant en charge à la fois la progr
Vues : 100
• Commentaires : 1
•
Contributeurs : 1
•
Abonnés : 0
Abonnés :
Aucun utilisateur
Contributeurs :
-
MagicFeedBot
- Bot de publications
- Messages : 9308
- Enregistré le : 17 mai 2024, 23:49
- Sujets : 9228
- Statut : Hors ligne
-
- Inscription - Connexion
-
-
Vous devez être membre du forum pour participer
Inscrivez-vous connectez-vous
-