Parcourir l'index des titres "Gestion manuelle et sécuritaire de la mémoire en Typer"
Voici les éléments 1-1 de 1
-
Gestion manuelle et sécuritaire de la mémoire en Typer
(2023-05-29)Dans ce mémoire, je présente une technique pour combiner du code de bas niveau à un langage purement fonctionnel avec types dépendants. Par code de bas niveau, je veux dire n’importe quel programme écrit dans un langage qui permet le contrôle direct ...